Merge #133

133: Docker filter syscalls (fixes #71) r=W95Psp a=W95Psp Fixes docker build for M1, as suggested by `@geonnave` in issue #71. Thanks `@geonnave` :) Co-authored-by: Lucas Franceschino <[email protected]>
cryspen · Jun 12, 2023 · 607a2c3 · 607a2c3
2 parents 32a10dd + 24465a6
commit 607a2c3
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/.docker/Dockerfile b/.docker/Dockerfile
@@ -3,14 +3,19 @@
 
 FROM nixpkgs/nix-flakes
 
+# See issue #71
+RUN if [ "$(uname)" = Darwin ] then; \
+    echo "filter-syscalls = false" >> /etc/nix/nix.conf; \
+    fi
+
 # Prepare the sources
-COPY . /circus-sources
-RUN cd /circus-sources && git init && git add .
+COPY . /hax-sources
+RUN cd /hax-sources && git init && git add .
 
 # Use cache to speed up install
 ENV PATH="$PATH:/root/.nix-profile/bin"
 RUN nix-env -iA cachix -f https://cachix.org/api/v1/install
 RUN cachix use hacspec
 
 # Install
-RUN nix profile install /circus-sources
+RUN nix profile install /hax-sources