Merge #133

133: Docker filter syscalls (fixes #71) r=franziskuskiefer a=W95Psp Fixes docker build for M1, as suggested by `@geonnave` in issue #71. Thanks `@geonnave` :) Co-authored-by: Lucas Franceschino <[email protected]> Co-authored-by: Franziskus Kiefer <[email protected]>
cryspen · Jun 12, 2023 · f338339 · f338339
2 parents 32a10dd + 0d34a58
commit f338339
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.docker/Dockerfile b/.docker/Dockerfile
@@ -3,14 +3,17 @@
 
 FROM nixpkgs/nix-flakes
 
+# See issue #71
+RUN [ "$(uname)" = Darwin ] && echo "filter-syscalls = false" >> /etc/nix/nix.conf
+
 # 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