From dfbe41ac135d9eb8ddd8be40019ec3625facf51b Mon Sep 17 00:00:00 2001
From: Jaromil <jaromil@dyne.org>
Date: Tue, 8 Oct 2024 17:22:25 +0200
Subject: [PATCH] fix: dockerfile to use new build

---
 Dockerfile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index fbfa0ea7e..919fcf00b 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,8 +11,11 @@ COPY build /build
 COPY Makefile Makefile
 
 RUN apk add --no-cache linux-headers build-base cmake readline-dev
-RUN make linux
-RUN cp /src/zenroom /usr/local/bin/zenroom
+RUN make -f build/musl-linux.mk COMPILER=gcc
+RUN mkdir -p /usr/local/bin/
+RUN cp zenroom /usr/local/bin/
+RUN cp zencode-exec /usr/local/bin/
+RUN cp zencc /usr/local/bin/
 
 ENTRYPOINT ["zenroom"]