nix: do not pin provers versions

nix-flake should be used to pin provers to a given version.
EasyCrypt · Dec 1, 2023 · c951b1c · c951b1c
1 parent a222346
commit c951b1c
Show file tree

Hide file tree

Showing 8 changed files with 4 additions and 332 deletions.
diff --git a/default.nix b/default.nix
@@ -2,24 +2,12 @@
 
 with import <nixpkgs> {};
 
-let alt-ergo-pin = callPackage scripts/nix/alt-ergo/default.nix { nixpkgs = <nixpkgs>; };
-in
-
-let cvc4-pin = callPackage scripts/nix/cvc4/default.nix { nixpkgs = <nixpkgs>; };
-in
-
-let cvc5-pin = callPackage scripts/nix/cvc5/default.nix { nixpkgs = <nixpkgs>; };
-in
-
-let z3-pin = callPackage scripts/nix/z3/default.nix { nixpkgs = <nixpkgs>; };
-in
-
 let provers =
   if withProvers then [
-    alt-ergo-pin
-    cvc4-pin
-    cvc5-pin
-    z3-pin
+    alt-ergo
+    cvc4
+    cvc5
+    z3
   ] else []; in
 
 let why3-pin =

diff --git a/scripts/nix/LICENSE b/scripts/nix/LICENSE
diff --git a/scripts/nix/alt-ergo/default.nix b/scripts/nix/alt-ergo/default.nix
diff --git a/scripts/nix/cvc4/cvc4-bash-patsub-replacement.patch b/scripts/nix/cvc4/cvc4-bash-patsub-replacement.patch
diff --git a/scripts/nix/cvc4/default.nix b/scripts/nix/cvc4/default.nix
diff --git a/scripts/nix/cvc4/minisat-fenv.patch b/scripts/nix/cvc4/minisat-fenv.patch
diff --git a/scripts/nix/cvc5/default.nix b/scripts/nix/cvc5/default.nix
diff --git a/scripts/nix/z3/default.nix b/scripts/nix/z3/default.nix