Build CBMC from source and add to nix CI cache (#56)

* experiment with nix caching Signed-off-by: Matthias J. Kannwischer <[email protected]> * build cbmc from source Signed-off-by: Matthias J. Kannwischer <[email protected]> * adjust nix cache configuration Signed-off-by: Matthias J. Kannwischer <[email protected]> * switch to DeterminateSystems/magic-nix-cache-action Signed-off-by: Matthias J. Kannwischer <[email protected]> * cbmc nix: re-use version field Signed-off-by: Matthias J. Kannwischer <[email protected]> --------- Signed-off-by: Matthias J. Kannwischer <[email protected]>
pq-code-package · Jun 13, 2024 · 0c9a51a · 0c9a51a
1 parent e49e379
commit 0c9a51a
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/.github/actions/setup-nix/action.yml b/.github/actions/setup-nix/action.yml
@@ -11,7 +11,8 @@ inputs:
 runs:
   using: composite
   steps:
-    - uses: DeterminateSystems/nix-installer-action@v11
+    - uses: DeterminateSystems/nix-installer-action@v12
+    - uses: DeterminateSystems/magic-nix-cache-action@main
     - name: Prepare nix dev shell
       shell: nix develop .#ci -c bash -e {0}
       run: |

diff --git a/flake.nix b/flake.nix
@@ -27,14 +27,24 @@
               hash = "sha256-eKYQq9OelOD5E+nuXNoehbtizWM1U97LngDT2SAQGc4=";
             };
           });
+          cbmc = pkgs.cbmc.overrideAttrs (old: rec {
+            version = "731338d5d82ac86fc447015e0bd24cdf7a74c442";
+            src = pkgs.fetchFromGitHub {
+              owner = "diffblue";
+              repo = old.pname;
+              rev = "${version}";
+              hash = "sha256-fDLSo5EeHyPTliAqFp+5mfaB0iZXIMXeMyF21fjl5k4=";
+            };
+          });
+
           core = builtins.attrValues
             {
               litani = litani; # 1.29.0
               cbmc-viewer = cbmc-viewer; # 3.8
               astyle = astyle;
+              cbmc = cbmc;
 
               inherit (pkgs)
-                cbmc# 5.95.1
                 ninja# 1.11.1
 
                 # formatter & linters