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

swiProlog: 8.1.26 -> 8.3.9

This commit is contained in:
Timo Kaufmann 2020-10-15 17:25:55 +02:00
parent 8c6fe8eb61
commit 959b818a89
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

@ -9,7 +9,7 @@
}: }:
let let
version = "8.1.26"; version = "8.3.9";
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."
''; '';
@ -22,7 +22,7 @@ stdenv.mkDerivation {
owner = "SWI-Prolog"; owner = "SWI-Prolog";
repo = "swipl-devel"; repo = "swipl-devel";
rev = "V${version}"; rev = "V${version}";
sha256 = "001bd8n9sn1pwvsyd87r0vwvipidpdx0rb5f6xpqmn24sq8hcjwa"; sha256 = "0ixb8pc5s7q8q0njs8is1clpvik6jhhdcwnys7m9rpwdzgi10sjz";
fetchSubmodules = true; fetchSubmodules = true;
}; };