missed circus -> hax

cryspen · Jun 8, 2023 · 4dfd341 · 4dfd341
1 parent 622c544
commit 4dfd341
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.docker/Dockerfile b/.docker/Dockerfile
@@ -7,13 +7,13 @@ FROM nixpkgs/nix-flakes
 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