nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 15:33:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

swiProlog: 9.1.21 -> 9.2.5

Browse Source
This commit is contained in:
Maren van Otterdijk 2024-07-07 17:06:40 +02:00
parent b696c018f1
commit f3851cb781
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -34,7 +34,8 @@
}:
let
version = "9.1.21";
# minorVersion is even for stable, odd for unstable
version = "9.2.5";
packInstall = swiplPath: pack:
''${swiplPath}/bin/swipl -g "pack_install(${pack}, [package_directory(\"${swiplPath}/lib/swipl/pack\"), silent(true), interactive(false)])." -t "halt."
'';
@ -43,11 +44,14 @@ stdenv.mkDerivation {
pname = "swi-prolog";
inherit version;
# SWI-Prolog has two repositories: swipl and swipl-devel.
# - `swipl`, which tracks stable releases and backports
# - `swipl-devel` which tracks continuous development
src = fetchFromGitHub {
owner = "SWI-Prolog";
repo = "swipl-devel";
repo = "swipl";
rev = "V${version}";
hash = "sha256-c4OSntnwIzo6lGhpyNVtNM4el5FGrn8kcz8WkDRfQhU=";
hash = "sha256-WbpYu6b0WPfKoAOkBZduWK20vwOYuDUDpJuj19qzPtw=";
fetchSubmodules = true;
};