BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #137061 from siraben/swi-prolog-updates

Browse source
This commit is contained in:
Ben Siraphob 2021-09-08 19:42:25 -05:00 committed by GitHub
commit 96e5548dfe
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/development/compilers/swi-prolog/default.nix
View file

@ -34,7 +34,7 @@
}:
let
version = "8.3.9";
version = "8.3.29";
packInstall = swiplPath: pack:
''${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";
repo = "swipl-devel";
rev = "V${version}";
sha256 = "0ixb8pc5s7q8q0njs8is1clpvik6jhhdcwnys7m9rpwdzgi10sjz";
sha256 = "sha256-2QYY3VDG3dhbv5gtSid4eMYMxhhpggCedJL+RhtbbaU=";
fetchSubmodules = true;
};
@ -81,7 +81,7 @@ stdenv.mkDerivation {
homepage = "https://www.swi-prolog.org";
description = "A Prolog compiler and interpreter";
license = lib.licenses.bsd2;
mainProgram = "swipl";
platforms = lib.platforms.linux ++ lib.optionals (!withGui) lib.platforms.darwin;
maintainers = [ lib.maintainers.meditans ];
};