Update swipl to 8.1.15

[ninjarobot]

No description provided.

[ninjarobot]

@tianon sorry about that - it is fixed.

[ninjarobot]

Still may be an addin issue to resolve.

[yosifkit]

Still may be an addin issue to resolve.

That seems to be the case and here is the output in case it is helpful.

$ # tail end of the `LANG=C.UTF8 make install`
-- Install configuration: "Release"
-- Set runtime path of "/usr/lib/swipl/bin/x86_64-linux/swipl" to "/usr/lib/swipl/lib/x86_64-linux"
-- Set runtime path of "/usr/lib/swipl/lib/x86_64-linux/libswipl.so.8.1.15" to "/usr/lib/swipl/lib/x86_64-linux"
-- Set runtime path of "/usr/lib/swipl/bin/x86_64-linux/swipl-ld" to "/usr/lib/swipl/lib/x86_64-linux"
+ rm -rf /tmp/src
+ mkdir -p /usr/lib/swipl/pack
+ cd /usr/lib/swipl/pack
+ dpkg --print-architecture
+ dpkgArch=amd64
+ install_addin space https://github.com/JanWielemaker/space.git cd6fefa63317a7a6effb61a1c5aee634ebe2ca05
+ git clone https://github.com/JanWielemaker/space.git space
Cloning into 'space'...
+ git -C space checkout -q cd6fefa63317a7a6effb61a1c5aee634ebe2ca05
+ [ space = prosqlite ]
+ swipl -g pack_rebuild(space) -t halt
ERROR: -g pack_rebuild(space): pack `space' does not exist

[tianon]

Friendly ping?

[ninjarobot]

@tianon my apologies, addin path changed and wasn't documented anywhere, this got away from me, but fixed now.

[github-actions]

Diff for 7008ceb:

diff --git a/_bashbrew-arches b/_bashbrew-arches
index 6fb4c82..b53ad9d 100644
--- a/_bashbrew-arches
+++ b/_bashbrew-arches
@@ -1,4 +1,4 @@
 swipl:8.0.3 @ amd64
-swipl:8.1.12 @ amd64
-swipl:8.1.12 @ arm32v7
-swipl:8.1.12 @ arm64v8
+swipl:8.1.15 @ amd64
+swipl:8.1.15 @ arm32v7
+swipl:8.1.15 @ arm64v8
diff --git a/_bashbrew-list b/_bashbrew-list
index 4296cbd..b22647e 100644
--- a/_bashbrew-list
+++ b/_bashbrew-list
@@ -1,4 +1,4 @@
 swipl:8.0.3
-swipl:8.1.12
+swipl:8.1.15
 swipl:latest
 swipl:stable
diff --git a/swipl_8.1.12/Dockerfile b/swipl_8.1.15/Dockerfile
similarity index 91%
rename from swipl_8.1.12/Dockerfile
rename to swipl_8.1.15/Dockerfile
index 714f600..1a54785 100644
--- a/swipl_8.1.12/Dockerfile
+++ b/swipl_8.1.15/Dockerfile
@@ -23,15 +23,15 @@ RUN apt-get update && \
     { [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || apt-get install -y --no-install-recommends librocksdb4.5; } && \
     rm -rf /var/lib/apt/lists/*
 RUN set -eux; \
-    SWIPL_VER=8.1.12; \
-    SWIPL_CHECKSUM=1c8f62a2dd6b279972c77b8b817bd93bb7bc54b11f852868eff79e82be0655e9; \
+    SWIPL_VER=8.1.15; \
+    SWIPL_CHECKSUM=b318ade25fe3fe118a1b9d8e524e0fe69cb41f90ca68bc1c5d077f655ed35ac8; \
     BUILD_DEPS='make cmake gcc g++ wget git autoconf libarchive-dev libgmp-dev libossp-uuid-dev libpcre3-dev libreadline-dev libedit-dev libssl-dev zlib1g-dev libdb-dev unixodbc-dev libsqlite3-dev libserd-dev libraptor2-dev libgeos++-dev libspatialindex-dev'; \
     dpkgArch="$(dpkg --print-architecture)"; \
     [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || BUILD_DEPS="$BUILD_DEPS librocksdb-dev"; \
     apt-get update; apt-get install -y --no-install-recommends $BUILD_DEPS; rm -rf /var/lib/apt/lists/*; \
     mkdir /tmp/src; \
     cd /tmp/src; \
-    wget http://www.swi-prolog.org/download/devel/src/swipl-$SWIPL_VER.tar.gz; \
+    wget -q https://www.swi-prolog.org/download/devel/src/swipl-$SWIPL_VER.tar.gz; \
     echo "$SWIPL_CHECKSUM  swipl-$SWIPL_VER.tar.gz" >> swipl-$SWIPL_VER.tar.gz-CHECKSUM; \
     sha256sum -c swipl-$SWIPL_VER.tar.gz-CHECKSUM; \
     tar -xzf swipl-$SWIPL_VER.tar.gz; \
@@ -46,8 +46,8 @@ RUN set -eux; \
     LANG=C.UTF8 make; \
     LANG=C.UTF8 make install; \
     rm -rf /tmp/src; \
-    mkdir -p /usr/lib/swipl/pack; \
-    cd /usr/lib/swipl/pack; \
+    mkdir -p /usr/share/swi-prolog/pack; \
+    cd /usr/share/swi-prolog/pack; \
     # usage: install_addin addin-name git-url git-commit
     install_addin () { \
         git clone "$2" "$1"; \

[tianon]

LGTM