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

pakcs: 2.1.1 -> 2.1.2

Browse Source 
packs 2.1.1 build has been observed to be broken by the upgrade of
swiProlog to 8.1.15. Upgrading packs to 2.1.2 seems to resolve this
issue.
This commit is contained in:
Yurii Rashkovskii 2019-09-14 16:10:27 +07:00
parent cbb4b91e70
commit 3e9e1828bb
No known key found for this signature in database
GPG Key ID: 1D60D7CFD80845FF
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/development/compilers/pakcs/default.nix
View File

@ -4,13 +4,13 @@
, curl, git, unzip, gnutar, coreutils, sqlite }: , curl, git, unzip, gnutar, coreutils, sqlite }:
let let
name = "pakcs-2.1.1"; name = "pakcs-2.1.2";
# Don't switch to development release without a reason, because its # Don't switch to development release without a reason, because its
# source updates without version bump. Prefer current release instead. # source updates without version bump. Prefer current release instead.
src = fetchurl { src = fetchurl {
url = "https://www.informatik.uni-kiel.de/~pakcs/download/${name}-src.tar.gz"; url = "https://www.informatik.uni-kiel.de/~pakcs/download/${name}-src.tar.gz";
sha256 = "112v9ynqfbbm4x770mcfrai9v5bh7c3zn7jka80pv6v4y65r778c"; sha256 = "0i0nprli3knc7zlp5qkqkpiq3ny36v52hnvgph376l3ajjds7wf6";
}; };
curry-frontend = (haskellPackages.override { curry-frontend = (haskellPackages.override {
@ -43,8 +43,13 @@ in stdenv.mkDerivation {
# Since we can't expand $out in `makeFlags` # Since we can't expand $out in `makeFlags`
#makeFlags="$makeFlags PAKCSINSTALLDIR=$out/pakcs" #makeFlags="$makeFlags PAKCSINSTALLDIR=$out/pakcs"
substituteInPlace currytools/cpm/src/CPM/Repository.curry \ for file in currytools/cpm/src/CPM/Repository.curry \
--replace "/bin/rm" "rm" currytools/cpm/src/CPM/Repository/CacheDB.curry \
scripts/compile-all-libs.sh \
scripts/cleancurry.sh \
examples/test.sh testsuite/test.sh lib/test.sh; do
substituteInPlace $file --replace "/bin/rm" "rm"
done
'' ; '' ;
# cypm new: EXISTENCE ERROR: source_sink # cypm new: EXISTENCE ERROR: source_sink