diff options
author | Austin Seipp <aseipp@pobox.com> | 2020-09-29 21:20:05 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2020-09-29 21:20:30 -0500 |
commit | c68d982ac8dcaa31461df22f1b4de0b6f7920b05 (patch) | |
tree | e7050c7666a194bac2645f9666c0b84b8fd3dd2d /pkgs/development/compilers/picat/default.nix | |
parent | ed9c3d4796394dbf2d4e0c444d2717a5f636626f (diff) |
picat: 2.8-2 -> 3.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/compilers/picat/default.nix')
-rw-r--r-- | pkgs/development/compilers/picat/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/development/compilers/picat/default.nix b/pkgs/development/compilers/picat/default.nix index 91e29a740c2fb..eba45ed8bbf34 100644 --- a/pkgs/development/compilers/picat/default.nix +++ b/pkgs/development/compilers/picat/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation { pname = "picat"; - version = "2.8-2"; + version = "3.0"; src = fetchurl { - url = "http://picat-lang.org/download/picat28_src.tar.gz"; - sha256 = "10hf2fxxbpq28gi39icr8c9wafdiy9ddfkk6l4rx7kkqyrdi7n85"; + url = "http://picat-lang.org/download/picat30_src.tar.gz"; + sha256 = "0ivqp4ifknc019rb975vx5j3rmr69x2f3ig7ybb38wm5zx5mljgg"; }; buildInputs = [ zlib ]; @@ -16,6 +16,7 @@ stdenv.mkDerivation { else throw "Unsupported system"; hardeningDisable = [ "format" ]; + enableParallelBuilding = true; buildPhase = '' cd emu |