ci: use charon#138 to fix the CI

AeneasVerif · Apr 22, 2024 · d49b61f · d49b61f
1 parent f2fd840
commit d49b61f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -6,7 +6,7 @@
 
     nixpkgs.follows = "karamel/nixpkgs";
 
-    charon.url = "github:AeneasVerif/charon";
+    charon.url = "github:AeneasVerif/charon/fix-rustup-detection";
     charon.inputs.nixpkgs.follows = "nixpkgs";
   };
   outputs = {
@@ -61,8 +61,7 @@
               buildInputs = [charon.buildInputs eurydice];
               nativeBuildInputs = [charon.nativeBuildInputs fstar clang];
               buildPhase = ''
-                # we need to tell `charon` not to use `rustup`
-                export CHARON="${charon}/bin/charon --cargo-no-rust-version"
+                export CHARON="${charon}/bin/charon"
 
                 # setup CHARON_HOME: it is expected to be writtable, hence the `cp --no-preserve`
                 cp --no-preserve=mode,ownership -rf ${inputs.charon.sourceInfo.outPath} ./charon