Merge pull request #275917 from jjgriego/swiprolog-9.1.21

swiProlog: 9.1.10 -> 9.1.21
This commit is contained in:
Thiago Kenji Okada 2024-01-09 13:42:26 +00:00 committed by GitHub
commit 1b1e856875
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -34,7 +34,7 @@
}: }:
let let
version = "9.1.10"; version = "9.1.21";
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."
''; '';
@ -47,7 +47,7 @@ stdenv.mkDerivation {
owner = "SWI-Prolog"; owner = "SWI-Prolog";
repo = "swipl-devel"; repo = "swipl-devel";
rev = "V${version}"; rev = "V${version}";
sha256 = "sha256-hr9cI0Ww6RfZs99iM1hFVw4sOYZFZWr8Vzv6dognCTQ="; hash = "sha256-c4OSntnwIzo6lGhpyNVtNM4el5FGrn8kcz8WkDRfQhU=";
fetchSubmodules = true; fetchSubmodules = true;
}; };