diff options
author | Austin Seipp <aseipp@pobox.com> | 2018-03-02 14:40:47 -0600 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2018-03-02 21:20:54 -0600 |
commit | 7270f2139ae75815fab81e7db7b61385cf07396e (patch) | |
tree | d5f4d04075f6041bfc9eb10e742162727746c732 /pkgs/applications/science/logic | |
parent | 0339dc5fae62253c3554619daf9ed01fe2fa4779 (diff) | |
download | nixlib-7270f2139ae75815fab81e7db7b61385cf07396e.tar nixlib-7270f2139ae75815fab81e7db7b61385cf07396e.tar.gz nixlib-7270f2139ae75815fab81e7db7b61385cf07396e.tar.bz2 nixlib-7270f2139ae75815fab81e7db7b61385cf07396e.tar.lz nixlib-7270f2139ae75815fab81e7db7b61385cf07396e.tar.xz nixlib-7270f2139ae75815fab81e7db7b61385cf07396e.tar.zst nixlib-7270f2139ae75815fab81e7db7b61385cf07396e.zip |
tlaplus: init at 1.5.6
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/tlaplus/default.nix | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/tlaplus/default.nix b/pkgs/applications/science/logic/tlaplus/default.nix new file mode 100644 index 000000000000..b1eb171b20b1 --- /dev/null +++ b/pkgs/applications/science/logic/tlaplus/default.nix @@ -0,0 +1,40 @@ +{ stdenv, fetchFromGitHub, makeWrapper +, jdk, jre, ant +}: + +stdenv.mkDerivation rec { + name = "tlaplus-${version}"; + version = "1.5.6"; + + src = fetchFromGitHub { + owner = "tlaplus"; + repo = "tlaplus"; + rev = "refs/tags/v${version}"; + sha256 = "0966mvgxamknj4hsp980qbxwda886w1dv309kn7isxn0420lfv4f"; + }; + + buildInputs = [ makeWrapper jdk ant ]; + + buildPhase = "ant -f tlatools/customBuild.xml compile dist"; + installPhase = '' + mkdir -p $out/share/java $out/bin + cp tlatools/dist/*.jar $out/share/java + + makeWrapper ${jre}/bin/java $out/bin/tlc2 \ + --add-flags "-cp $out/share/java/tla2tools.jar tlc2.TLC" + makeWrapper ${jre}/bin/java $out/bin/tla2sany \ + --add-flags "-cp $out/share/java/tla2tools.jar tla2sany.SANY" + makeWrapper ${jre}/bin/java $out/bin/pcal \ + --add-flags "-cp $out/share/java/tla2tools.jar pcal.trans" + makeWrapper ${jre}/bin/java $out/bin/tla2tex \ + --add-flags "-cp $out/share/java/tla2tools.jar tla2tex.TLA" + ''; + + meta = { + description = "An algorithm specification language with model checking tools"; + homepage = http://lamport.azurewebsites.net/tla/tla.html; + license = stdenv.lib.licenses.mit; + platforms = stdenv.lib.platforms.unix; + maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + }; +} |