diff options
Diffstat (limited to 'pkgs/applications/science/logic/petrinizer/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/petrinizer/default.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/petrinizer/default.nix b/pkgs/applications/science/logic/petrinizer/default.nix index cb35b9f27d52..d277e0e1521a 100644 --- a/pkgs/applications/science/logic/petrinizer/default.nix +++ b/pkgs/applications/science/logic/petrinizer/default.nix @@ -1,6 +1,12 @@ -{ mkDerivation, async, base, bytestring, containers, fetchFromGitLab, mtl -, parallel-io, parsec, sbv, stdenv, stm, transformers +{ mkDerivation, callPackage, buildPackages +, async, base, bytestring, containers, fetchFromGitLab, mtl +, parallel-io, parsec, stdenv, stm, transformers }: +let + z3 = callPackage ./z3.nix { gomp = null; z3 = buildPackages.z3; }; +in let + sbv = callPackage ./sbv-7.13.nix { inherit z3; }; +in mkDerivation rec { pname = "petrinizer"; version = "0.9.1.1"; |