diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/petrinizer/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/petrinizer/default.nix | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/petrinizer/default.nix b/nixpkgs/pkgs/applications/science/logic/petrinizer/default.nix index 38039f61fda6..e28137dde75b 100644 --- a/nixpkgs/pkgs/applications/science/logic/petrinizer/default.nix +++ b/nixpkgs/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,10 +18,11 @@ 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"; license = lib.licenses.gpl3; maintainers = with lib.maintainers; [ raskin ]; + inherit (sbv_7_13.meta) platforms; } |