Refactor tests into its own package

input-output-hk · Nov 29, 2022 · 4286e7b · 4286e7b
1 parent 3a0926a
commit 4286e7b
Show file tree

Hide file tree

Showing 3 changed files with 45 additions and 24 deletions.
diff --git a/flake.nix b/flake.nix
@@ -65,31 +65,12 @@
 
           flake = project.flake { };
 
+          tests = import ./nix/tests {
+            src = ./.;
+            inherit pkgs  isabelle-pkgs scripts latex;
+          };
           packages = flake.packages // {
-            isabelle-test = isabelle-pkgs.runCommand "isabelle-test"
-              {
-                nativeBuildInputs =
-                  ( with scripts; [
-                      build-marlowe-proofs
-                      build-marlowe-docs
-                  ]) ++
-                  [ isabelle-pkgs.isabelle isabelle-pkgs.perl isabelle-pkgs.nettools latex ];
-                src = ./isabelle;
-              } ''
-              export HOME=$TMP
-              unpackPhase
-              mv isabelle/generated isabelle/generated-old
-              build-marlowe-proofs false
-              if ! diff --recursive --new-file --brief isabelle/generated isabelle/generated-old
-              then
-                echo "isabelle build generated different files, did you check in isabelle/generated?" >&2
-                exit 1
-              fi
-
-              build-marlowe-docs
-
-              touch $out
-            '';
+            inherit (tests) isabelle-test;
           };
         in
         flake // {

diff --git a/nix/tests/default.nix b/nix/tests/default.nix
@@ -0,0 +1,11 @@
+{ isabelle-pkgs
+, scripts
+, latex
+, pkgs
+, src
+
+}: {
+  isabelle-test = pkgs.callPackage ./isabelle.nix {
+    inherit isabelle-pkgs scripts latex src;
+  };
+}
diff --git a/nix/tests/isabelle.nix b/nix/tests/isabelle.nix
@@ -0,0 +1,29 @@
+{
+  isabelle-pkgs
+  , scripts
+  , latex
+  , src
+}: isabelle-pkgs.runCommand "isabelle-test"
+              {
+                nativeBuildInputs =
+                  ( with scripts; [
+                      build-marlowe-proofs
+                      build-marlowe-docs
+                  ]) ++
+                  [ isabelle-pkgs.isabelle isabelle-pkgs.perl isabelle-pkgs.nettools latex ];
+                src = "${src}/isabelle";
+              } ''
+              export HOME=$TMP
+              unpackPhase
+              mv isabelle/generated isabelle/generated-old
+              build-marlowe-proofs false
+              if ! diff --recursive --new-file --brief isabelle/generated isabelle/generated-old
+              then
+                echo "isabelle build generated different files, did you check in isabelle/generated?" >&2
+                exit 1
+              fi
+
+              build-marlowe-docs
+
+              touch $out
+            ''