diff options
author | Maximilian Bosch <maximilian@mbosch.me> | 2020-01-18 15:55:23 +0100 |
---|---|---|
committer | Maximilian Bosch <maximilian@mbosch.me> | 2020-01-28 20:11:01 +0100 |
commit | 663881991073908672cdae647a3dab6c5a166d50 (patch) | |
tree | e09394657008ae67d05baf85a3337a62ac5f404e /pkgs/development/compilers/picat | |
parent | 1a871171ced8d30cb70bcf0febe4f43aabce0c8c (diff) | |
download | nixlib-663881991073908672cdae647a3dab6c5a166d50.tar nixlib-663881991073908672cdae647a3dab6c5a166d50.tar.gz nixlib-663881991073908672cdae647a3dab6c5a166d50.tar.bz2 nixlib-663881991073908672cdae647a3dab6c5a166d50.tar.lz nixlib-663881991073908672cdae647a3dab6c5a166d50.tar.xz nixlib-663881991073908672cdae647a3dab6c5a166d50.tar.zst nixlib-663881991073908672cdae647a3dab6c5a166d50.zip |
picat: 1.9-4 -> 2.8-2
Diffstat (limited to 'pkgs/development/compilers/picat')
-rw-r--r-- | pkgs/development/compilers/picat/default.nix | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/pkgs/development/compilers/picat/default.nix b/pkgs/development/compilers/picat/default.nix index b520a5e703c8..87af63c671a5 100644 --- a/pkgs/development/compilers/picat/default.nix +++ b/pkgs/development/compilers/picat/default.nix @@ -1,13 +1,16 @@ -{ stdenv, fetchurl }: +{ stdenv, fetchurl, zlib }: stdenv.mkDerivation { - name = "picat-1.9-4"; + pname = "picat"; + version = "2.8-2"; src = fetchurl { - url = http://picat-lang.org/download/picat19_src.tar.gz; - sha256 = "0wvl95gf4pjs93632g4wi0mw1glzzhjp9g4xg93ll2zxggbxibli"; + url = http://picat-lang.org/download/picat28_src.tar.gz; + sha256 = "10hf2fxxbpq28gi39icr8c9wafdiy9ddfkk6l4rx7kkqyrdi7n85"; }; + buildInputs = [ zlib ]; + ARCH = if stdenv.hostPlatform.system == "i686-linux" then "linux32" else if stdenv.hostPlatform.system == "x86_64-linux" then "linux64" else throw "Unsupported system"; @@ -16,12 +19,12 @@ stdenv.mkDerivation { buildPhase = '' cd emu - make -f Makefile.picat.$ARCH + make -f Makefile.$ARCH ''; installPhase = '' mkdir -p $out/bin - cp picat_$ARCH $out/bin/picat + cp picat $out/bin/picat ''; meta = { |