diff options
author | Thiago Kenji Okada <thiagokokada@gmail.com> | 2024-07-12 16:45:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-07-12 16:45:53 +0100 |
commit | 23f1a71d0eb2530f20272a535d5dffe447ae6ce8 (patch) | |
tree | 81329d6a56d743642fa7358d6eb6612a080c65d3 /pkgs/development/compilers | |
parent | 7d76db3fe593ce7faac96b576a4f969446738161 (diff) | |
parent | f3851cb7814fd0429613f7640810b822bda4467d (diff) |
Merge pull request #325280 from matko/swipl_to_9.2.5
swiProlog: 9.1.21 -> 9.2.5
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/swi-prolog/default.nix | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/pkgs/development/compilers/swi-prolog/default.nix b/pkgs/development/compilers/swi-prolog/default.nix index 305c77fbdb8ff..c9cb3a9fdeb6d 100644 --- a/pkgs/development/compilers/swi-prolog/default.nix +++ b/pkgs/development/compilers/swi-prolog/default.nix @@ -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; }; |