new nix

3
math-comp · Mar 3, 2025 · 37c36aa · 37c36aa
1 parent 5b66fde
commit 37c36aa
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 6 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -6,7 +6,7 @@ let
     mathcomp-experimental-reals.job = true;
     mathcomp-reals-stdlib.job = true;
     mathcomp-analysis-stdlib.job = true;
-    ssprove.job = false;
+    ssprove.override.version = "main";
   };
 in
 {
@@ -42,7 +42,7 @@ in
 
   ## select an entry to build in the following `bundles` set
   ## defaults to "default"
-  default-bundle = "8.19";
+  default-bundle = "8.20";
 
   ## write one `bundles.name` attribute set per
   ## alternative configuration
@@ -56,10 +56,19 @@ in
   bundles."8.20".coqPackages = common-bundle // {
     coq.override.version = "8.20";
     mathcomp.override.version = "2.2.0";
-    ssprove.job = false;
   };
 
-  bundles."master".coqPackages = common-bundle // {
+  bundles."9.0".coqPackages = common-bundle // {
+    coq.override.version = "9.0";
+    mathcomp.override.version = "2.3.0";
+  };
+
+  bundles."master" = { rocqPackages = {
+    rocq-core.override.version = "master";
+    stdlib.override.version = "master";
+    rocq-elpi.override.version = "master";
+    rocq-elpi.override.elpi-version = "2.0.7";
+  }; coqPackages = common-bundle // {
     coq.override.version = "master";
     stdlib.override.version = "master";
     coq-elpi.override.version = "master";
@@ -69,7 +78,7 @@ in
     mathcomp-bigenough.override.version = "master";
     mathcomp-finmap.override.version = "master";
     ssprove.job = false;
-  };
+  }; };
 
   ## Cachix caches to use in CI
   ## Below we list some standard ones

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"d0a84ab0e1d7f0fb811fec732eda49dd5244105d"
+"60657f676e682de3e6a2f5d553aa737bf6801efd"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"d0a84ab0e1d7f0fb811fec732eda49dd5244105d"
		"60657f676e682de3e6a2f5d553aa737bf6801efd"