petrinizer: restrict platforms by sbv

sbv has the most limited range of platforms of the dependencies.
3 years ago · eaeb69862c
parent 73c2dd4aa6
commit eaeb69862c
1 changed files with 1 additions and 0 deletions
--- a/pkgs/applications/science/logic/petrinizer/default.nix
+++ b/pkgs/applications/science/logic/petrinizer/default.nix
@ -24,4 +24,5 @@ mkDerivation rec {
  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;
 }