Add a flake layer on top of the current infrastructure.

Use explicit system for purity.

Replace dots in bundle names to make the CLI usable.

Author: Zimmi48

.nix/fallback-config.nix

@@ -14,7 +14,7 @@ with import "${import ./nixpkgs.nix}/lib";
 
   ## select an entry to build in the following `bundles` set
   ## defaults to "default"
-  default-bundle = "8.18";
+  default-bundle = "rocq-9.0";
 
   ## write one `bundles.name` attribute set per
   ## alternative configuration, the can be used to

flake.lock

@@ -0,0 +1,48 @@
+{
+  description = "The Rocq Nix Toolbox";
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
+  };
+
+  outputs =
+    { nixpkgs, ... }:
+    rec {
+      lib = rec {
+        forAllSystems =
+          function:
+          nixpkgs.lib.genAttrs [
+            "x86_64-linux"
+            "aarch64-linux"
+            "x86_64-darwin"
+            "aarch64-darwin"
+          ] function;
+        allPackages =
+          src:
+          with nixpkgs.lib;
+          forAllSystems (
+            system:
+            let
+              underlyingNix = (import ./default.nix { inherit system src; });
+              instances = underlyingNix.passthru.setup.instances;
+              defaultInstance =
+                underlyingNix.passthru.setup.instances.${underlyingNix.passthru.setup.config.default-bundle};
+              jobsList = mapAttrsToList (
+                bundleName: instance:
+                let
+                  listOfJobs = map (jobName: {
+                    name = "${builtins.replaceStrings [ "." ] [ "-" ] bundleName}:${jobName}";
+                    value = instance.pkgs.rocqPackages.${jobName} or instance.pkgs.coqPackages.${jobName};
+                  }) instance.jobs;
+                in
+                listToAttrs listOfJobs
+              ) instances;
+            in
+            (foldl mergeAttrs { } jobsList)
+            // {
+              default = defaultInstance.this-pkg;
+            }
+          );
+      };
+      packages = lib.allPackages ./.;
+    };
+}