Merge pull request #70720 from yrashk/swipl-8.1.15

swipl: 8.1.4 -> 8.1.15
2019-10-14 22:16:16 -05:00
parent 981abce3e2 3e9e1828bb
commit a388e920f3
2 changed files with 12 additions and 7 deletions
@@ -9,7 +9,7 @@
 }:

 let
-  version = "8.1.4";
+  version = "8.1.15";
  packInstall = swiplPath: pack:
    ''${swiplPath}/bin/swipl -g "pack_install(${pack}, [package_directory(\"${swiplPath}/lib/swipl/pack\"), silent(true), interactive(false)])." -t "halt."
    '';
@@ -21,7 +21,7 @@ stdenv.mkDerivation {
  src = fetchgit {
    url = "https://github.com/SWI-Prolog/swipl-devel";
    rev = "V${version}";
-    sha256 = "0qxa6f5dypwczxajlf0l736adbjb17cbak3qsh5g04hpv2bxm6dh";
+    sha256 = "0czbrscx2s4079nmwvipp9cnwfny16m3fpnp823llm7wyljchgvq";
  };

  buildInputs = [ cacert git cmake gmp readline openssl