public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

picat: 2.8-2 -> 3.0

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2020-09-29 21:20:05 -05:00
parent ed9c3d4796
commit c68d982ac8
No known key found for this signature in database
GPG Key ID: 25D2038DEB08021D
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/compilers/picat/default.nix
View File

@ -2,11 +2,11 @@
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "picat"; pname = "picat";
version = "2.8-2"; version = "3.0";
src = fetchurl { src = fetchurl {
url = "http://picat-lang.org/download/picat28_src.tar.gz"; url = "http://picat-lang.org/download/picat30_src.tar.gz";
sha256 = "10hf2fxxbpq28gi39icr8c9wafdiy9ddfkk6l4rx7kkqyrdi7n85"; sha256 = "0ivqp4ifknc019rb975vx5j3rmr69x2f3ig7ybb38wm5zx5mljgg";
}; };
buildInputs = [ zlib ]; buildInputs = [ zlib ];
@ -16,6 +16,7 @@ stdenv.mkDerivation {
else throw "Unsupported system"; else throw "Unsupported system";
hardeningDisable = [ "format" ]; hardeningDisable = [ "format" ];
enableParallelBuilding = true;
buildPhase = '' buildPhase = ''
cd emu cd emu