pkgs/applications/science/logic/tlaplus/tlaplus18.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchurl,
   5   makeWrapper,
   6   jre,
   7 }:
   8
   9 stdenv.mkDerivation rec {
  10   pname = "tlaplus";
  11   version = "1.8.0";
  12
  13   src = fetchurl {
  14     url = "https://github.com/tlaplus/tlaplus/releases/download/v${version}/tla2tools.jar";
  15     sha256 = "sha256-OXgpd1xuyvhveunlybBi/N6jnxtp/J8Kmp8PYX3eSZ4=";
  16   };
  17
  18   nativeBuildInputs = [ makeWrapper ];
  19
  20   dontUnpack = true;
  21   installPhase = ''
  22     mkdir -p $out/share/java $out/bin
  23     cp $src $out/share/java/tla2tools.jar
  24
  25     makeWrapper ${jre}/bin/java $out/bin/tlc \
  26       --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar tlc2.TLC"
  27     makeWrapper ${jre}/bin/java $out/bin/tlasany \
  28       --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar tla2sany.SANY"
  29     makeWrapper ${jre}/bin/java $out/bin/pcal \
  30       --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar pcal.trans"
  31     makeWrapper ${jre}/bin/java $out/bin/tlatex \
  32       --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar tla2tex.TLA"
  33     makeWrapper ${jre}/bin/java $out/bin/tlarepl \
  34       --add-flags "-XX:+UseParallelGC -cp $out/share/java/tla2tools.jar tlc2.REPL"
  35   '';
  36
  37   meta = {
  38     description = "Algorithm specification language with model checking tools";
  39     homepage = "http://lamport.azurewebsites.net/tla/tla.html";
  40     sourceProvenance = with lib.sourceTypes; [ binaryBytecode ];
  41     license = lib.licenses.mit;
  42     platforms = lib.platforms.unix;
  43     maintainers = with lib.maintainers; [
  44       florentc
  45       thoughtpolice
  46       mgregson
  47     ];
  48   };
  49 }