diff options
Diffstat (limited to 'pkgs/applications/science/logic/petrinizer/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/petrinizer/default.nix | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/pkgs/applications/science/logic/petrinizer/default.nix b/pkgs/applications/science/logic/petrinizer/default.nix index 38039f61fda..3977eb6a4ed 100644 --- a/pkgs/applications/science/logic/petrinizer/default.nix +++ b/pkgs/applications/science/logic/petrinizer/default.nix @@ -1,12 +1,8 @@ -{ mkDerivation, callPackage, buildPackages +{ mkDerivation , async, base, bytestring, containers, fetchFromGitLab, mtl -, parallel-io, parsec, lib, stm, transformers +, parallel-io, parsec, lib, stm, transformers, sbv_7_13, z3 }: -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"; @@ -22,7 +18,7 @@ mkDerivation rec { isLibrary = false; isExecutable = true; executableHaskellDepends = [ - async base bytestring containers mtl parallel-io parsec sbv stm + async base bytestring containers mtl parallel-io parsec sbv_7_13 stm transformers ]; description = "Safety and Liveness Analysis of Petri Nets with SMT solvers"; |