diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/tlaplus/tlaplus18.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/tlaplus/tlaplus18.nix | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/tlaplus/tlaplus18.nix b/nixpkgs/pkgs/applications/science/logic/tlaplus/tlaplus18.nix new file mode 100644 index 000000000000..4f34846a8927 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/tlaplus/tlaplus18.nix @@ -0,0 +1,39 @@ +{ lib, stdenv, fetchurl, makeWrapper, jre }: + +stdenv.mkDerivation rec { + pname = "tlaplus"; + version = "1.8.0"; + + src = fetchurl { + url = "https://github.com/tlaplus/tlaplus/releases/download/v${version}/tla2tools.jar"; + sha256 = "sha256-OXgpd1xuyvhveunlybBi/N6jnxtp/J8Kmp8PYX3eSZ4="; + }; + + nativeBuildInputs = [ makeWrapper ]; + + dontUnpack = true; + installPhase = '' + mkdir -p $out/share/java $out/bin + cp $src $out/share/java/tla2tools.jar + + makeWrapper ${jre}/bin/java $out/bin/tlc \ + --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar tlc2.TLC" + makeWrapper ${jre}/bin/java $out/bin/tlasany \ + --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar tla2sany.SANY" + makeWrapper ${jre}/bin/java $out/bin/pcal \ + --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar pcal.trans" + makeWrapper ${jre}/bin/java $out/bin/tlatex \ + --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar tla2tex.TLA" + makeWrapper ${jre}/bin/java $out/bin/tlarepl \ + --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar tlc2.REPL" + ''; + + meta = { + description = "An algorithm specification language with model checking tools"; + homepage = "http://lamport.azurewebsites.net/tla/tla.html"; + sourceProvenance = with lib.sourceTypes; [ binaryBytecode ]; + license = lib.licenses.mit; + platforms = lib.platforms.unix; + maintainers = with lib.maintainers; [ florentc thoughtpolice mgregson ]; + }; +} |