tla-shell.nix

with import <nixpkgs> { };

let
  tla = stdenv.mkDerivation {
    name = "tla";

    src = fetchFromGitHub {
      owner = "pmer";
      repo = "tla-bin";
      rev = "66c09caa79d1427418e703cf07a5ad7edc72bb96";
      sha256 = "1r5h46xj00hc3iigikrwrrmja47bbsmfkbpwmrmf9h6a634l3r0n";
    };

    propagatedBuildInputs = [ cacert curl ];

    installPhase = ''
      sh download_or_update_tla.sh
      sh install.sh $out
    '';
  };
in mkShell { buildInputs = [ jdk tla ]; }