Add nix flake checking action

Signed-off-by: Aiden Fox Ivey <[email protected]>
open-quantum-safe · Jan 19, 2025 · 7d7b974 · 7d7b974
1 parent de5beca
commit 7d7b974
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 2 deletions.
diff --git a/.github/workflows/nix-check.yml b/.github/workflows/nix-check.yml
@@ -0,0 +1,14 @@
+name: "Nix Flake Check"
+on:
+  pull_request:
+  push:
+jobs:
+  tests:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: cachix/install-nix-action@v27
+        with:
+          github_access_token: ${{ secrets.GITHUB_TOKEN }}
+      - run: nix build # check that the build runs
+      - run: nix flake check # check for accurate syntax
diff --git a/.gitignore b/.gitignore
@@ -37,3 +37,6 @@ __pycache__
 .CMake/a.out
 compile_commands.json
 
+# Generated by Nix flake
+result/
+
diff --git a/flake.nix b/flake.nix
@@ -24,6 +24,9 @@
         mkLib = shared:
           stdenv.mkDerivation {
             inherit name src;
+            # for whatever reason, trying to 'fix' the CMake file causes a failure
+            dontFixCmake = true;
+
             nativeBuildInputs = with pkgs;
               [cmake ninja doxygen pkg-config graphviz]
               ++ (
@@ -71,10 +74,14 @@
           '';
         };
     in {
+      formatter = pkgs.alejandra;
+
       packages = {
         default = (mkPackageSet "gcc").shared; # default is gcc shared
-        gcc = mkPackageSet "gcc";
-        clang = mkPackageSet "clang";
+        gcc-shared = (mkPackageSet "gcc").shared;
+        clang-shared = (mkPackageSet "clang").shared;
+        gcc-static = (mkPackageSet "gcc").static;
+        clang-static = (mkPackageSet "clang").static;
       };
 
       # Development shells