nix: add build with eigen 5, ref #426

.github/workflows/nix.yml

@@ -21,14 +21,29 @@ jobs:
         with:
           name: gepetto
           authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
-      - run: nix build -L
+      - run: nix build -L .#proxsuite
+
+  nix-eigen5:
+    runs-on: "${{ matrix.os }}"
+    strategy:
+      matrix:
+        os: ["ubuntu-24.04", "macos-15"]
+    steps:
+      - uses: actions/checkout@v5
+      - uses: cachix/install-nix-action@v31
+      - uses: cachix/cachix-action@v16
+        with:
+          name: gepetto
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+      - run: nix build -L .#proxsuite-eigen_5
 
   check:
     if: always()
     name: check-macos-linux-nix
 
     needs:
       - nix
+      - nix-eigen5
 
     runs-on: Ubuntu-latest
 

flake.nix

@@ -11,30 +11,69 @@
     inputs.flake-parts.lib.mkFlake { inherit inputs; } {
       systems = inputs.nixpkgs.lib.systems.flakeExposed;
       perSystem =
-        { pkgs, self', ... }:
         {
+          pkgs,
+          pkgs-eigen_5,
+          self',
+          system,
+          ...
+        }:
+        {
+          _module.args =
+            let
+              proxsuiteOverlay = final: prev: {
+                proxsuite = prev.proxsuite.overrideAttrs {
+                  src = final.lib.fileset.toSource {
+                    root = ./.;
+                    fileset = final.lib.fileset.unions [
+                      ./benchmark
+                      ./bindings
+                      ./cmake-external
+                      ./CMakeLists.txt
+                      ./doc
+                      ./examples
+                      ./include
+                      ./package.xml
+                      ./test
+                    ];
+                  };
+                  postPatch = "";
+                };
+              };
+              eigen5Overlay = final: prev: {
+                eigen = prev.eigen.overrideAttrs (super: rec {
+                  version = "5.0.0";
+                  src = final.fetchFromGitLab {
+                    inherit (super.src) owner repo;
+                    tag = version;
+                    hash = "sha256-L1KUFZsaibC/FD6abTXrT3pvaFhbYnw+GaWsxM2gaxM=";
+                  };
+                  patches = [ ];
+                  postPatch = "";
+                });
+              };
+            in
+            {
+              pkgs = import inputs.nixpkgs {
+                inherit system;
+                overlays = [ proxsuiteOverlay ];
+              };
+              pkgs-eigen_5 = import inputs.nixpkgs {
+                inherit system;
+                overlays = [
+                  eigen5Overlay
+                  proxsuiteOverlay
+                ];
+              };
+            };
           apps.default = {
             type = "app";
             program = pkgs.python3.withPackages (_: [ self'.packages.default ]);
           };
           packages = {
             default = self'.packages.proxsuite;
-            proxsuite = pkgs.python3Packages.proxsuite.overrideAttrs {
-              src = pkgs.lib.fileset.toSource {
-                root = ./.;
-                fileset = pkgs.lib.fileset.unions [
-                  ./benchmark
-                  ./bindings
-                  ./cmake-external
-                  ./CMakeLists.txt
-                  ./doc
-                  ./examples
-                  ./include
-                  ./package.xml
-                  ./test
-                ];
-              };
-            };
+            proxsuite = pkgs.python3Packages.proxsuite;
+            proxsuite-eigen_5 = pkgs-eigen_5.python3Packages.proxsuite;
           };
         };
     };