pyrox.dev
tlaps: deprecate phases
+11
-7
pkgs/applications/science/logic/tlaplus/tlaps.nix
+11
-7
pkgs/applications/science/logic/tlaplus/tlaps.nix
···
1
1
{ fetchurl
2
-
, lib, stdenv
3
-
, ocaml, isabelle, cvc3, perl, wget, which
2
+
, lib
3
+
, stdenv
4
+
, ocaml
5
+
, isabelle
6
+
, cvc3
7
+
, perl
8
+
, wget
9
+
, which
4
10
}:
5
11
6
12
stdenv.mkDerivation rec {
···
12
18
};
13
19
14
20
buildInputs = [ ocaml isabelle cvc3 perl wget which ];
15
-
16
-
phases = [ "unpackPhase" "installPhase" ];
17
21
18
22
installPhase = ''
19
23
mkdir -pv "$out"
···
45
49
and scalable to large system specifications. It provides a
46
50
consistent abstraction over the various “backend” verifiers.
47
51
'';
48
-
homepage = "https://tla.msr-inria.inria.fr/tlaps/content/Home.html";
49
-
license = lib.licenses.bsd2;
50
-
platforms = lib.platforms.unix;
52
+
homepage = "https://tla.msr-inria.inria.fr/tlaps/content/Home.html";
53
+
license = lib.licenses.bsd2;
54
+
platforms = lib.platforms.unix;
51
55
maintainers = [ ];
52
56
};
53
57