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

swipl: 8.1.4 -> 8.1.15

Browse Source 
8.1.4 can no longer download SWI-Prolog packages (pack_list,
pack_install, etc), rendering it much less useful.
This commit is contained in:
Yurii Rashkovskii 2019-09-13 22:49:05 +07:00
parent 86e68d02b3
commit cbb4b91e70
No known key found for this signature in database
GPG Key ID: 1D60D7CFD80845FF
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/swi-prolog/default.nix
View File

@ -7,7 +7,7 @@
}: }:
let let
version = "8.1.4"; version = "8.1.15";
packInstall = swiplPath: pack: packInstall = swiplPath: pack:
''${swiplPath}/bin/swipl -g "pack_install(${pack}, [package_directory(\"${swiplPath}/lib/swipl/pack\"), silent(true), interactive(false)])." -t "halt." ''${swiplPath}/bin/swipl -g "pack_install(${pack}, [package_directory(\"${swiplPath}/lib/swipl/pack\"), silent(true), interactive(false)])." -t "halt."
''; '';
@ -19,7 +19,7 @@ stdenv.mkDerivation {
src = fetchgit { src = fetchgit {
url = "https://github.com/SWI-Prolog/swipl-devel"; url = "https://github.com/SWI-Prolog/swipl-devel";
rev = "V${version}"; rev = "V${version}";
sha256 = "0qxa6f5dypwczxajlf0l736adbjb17cbak3qsh5g04hpv2bxm6dh"; sha256 = "0czbrscx2s4079nmwvipp9cnwfny16m3fpnp823llm7wyljchgvq";
}; };
buildInputs = [ cacert git cmake gmp readline openssl buildInputs = [ cacert git cmake gmp readline openssl