Updated swipl devel to 10.1.6#21306
Merged
yosifkit merged 1 commit intodocker-library:masterfrom Apr 22, 2026
Merged
Conversation
Contributor
JanWielemaker
commented
Apr 22, 2026
Diff for e547093:diff --git a/_bashbrew-cat b/_bashbrew-cat
index eb44965..86087f9 100644
--- a/_bashbrew-cat
+++ b/_bashbrew-cat
@@ -1,10 +1,10 @@
Maintainers: Jan Wielemaker <jan@swi-prolog.org> (@JanWielemaker), Dave Curylo <dave@curylo.org> (@ninjarobot)
Architectures: amd64, arm32v7, arm64v8
GitRepo: https://github.com/SWI-Prolog/docker-swipl.git
-GitCommit: 85408a2856d774e9a96ae4ea29d5a44fe35198b4
+GitCommit: cb916a7490ac3cdcad77f876e977c7d08d3335e9
-Tags: latest, 10.1.5
-Directory: 10.1.5/bookworm
+Tags: latest, 10.1.6
+Directory: 10.1.6/trixie
Tags: stable, 10.0.2
Directory: 10.0.2/bookworm
diff --git a/_bashbrew-list b/_bashbrew-list
index 1d26975..1461682 100644
--- a/_bashbrew-list
+++ b/_bashbrew-list
@@ -1,4 +1,4 @@
swipl:10.0.2
-swipl:10.1.5
+swipl:10.1.6
swipl:latest
swipl:stable
diff --git a/_bashbrew-list-build-order b/_bashbrew-list-build-order
index ea5fbe4..a439c9e 100644
--- a/_bashbrew-list-build-order
+++ b/_bashbrew-list-build-order
@@ -1,2 +1,2 @@
swipl:10.0.2
-swipl:10.1.5
+swipl:10.1.6
diff --git a/swipl_10.1.5/Dockerfile b/swipl_10.1.6/Dockerfile
similarity index 77%
rename from swipl_10.1.5/Dockerfile
rename to swipl_10.1.6/Dockerfile
index f6b9144..1ddcfef 100644
--- a/swipl_10.1.5/Dockerfile
+++ b/swipl_10.1.6/Dockerfile
@@ -1,36 +1,38 @@
-FROM debian:bookworm-slim
+FROM debian:trixie-slim
LABEL maintainer="Dave Curylo <dave@curylo.org>, Michael Hendricks <michael@ndrix.org>"
RUN apt-get update && \
apt-get install -y --no-install-recommends \
- libtcmalloc-minimal4 \
- libarchive13 \
+ libtcmalloc-minimal4t64 \
+ libarchive13t64 \
libyaml-0-2 \
libgmp10 \
+ libutf8proc3 \
libossp-uuid16 \
- libssl3 \
+ libssl3t64 \
ca-certificates \
- libdb5.3 \
+ libdb5.3t64 \
libpcre2-8-0 \
- libedit2 \
- libgeos3.11.1 \
- libspatialindex6 \
- unixodbc \
+ libgeos-c1t64 \
+ libspatialindex8 \
+ libspatialindex-c8 \
+ libodbc2 \
+ libodbccr2 \
odbc-postgresql \
tdsodbc \
libmariadbclient-dev-compat \
libsqlite3-0 \
libserd-0-0 \
python3 \
- libpython3.11 \
+ libpython3.13 \
libraptor2-0 && \
dpkgArch="$(dpkg --print-architecture)" && \
rm -rf /var/lib/apt/lists/*
ENV LANG=C.UTF-8
RUN set -eux; \
- SWIPL_VER=10.1.5; \
- SWIPL_CHECKSUM=67b3616cf0fe979f84816331ca8aeca8a17e5220f6ebab0accc7109213debb52; \
+ SWIPL_VER=10.1.6; \
+ SWIPL_CHECKSUM=b669e6b6b83bffde209932d5e8f151be7a8cf7ec0963898c7a2a18b7fa598be2; \
# Removed libgeos-dev libspatialindex-dev because the space pack cannot be built
- BUILD_DEPS='make cmake ninja-build gcc g++ wget git pkg-config m4 libtool automake autoconf libarchive-dev libgmp-dev libossp-uuid-dev libpcre2-dev libreadline-dev libedit-dev libssl-dev zlib1g-dev libdb-dev unixodbc-dev libsqlite3-dev libserd-dev libraptor2-dev libyaml-dev libgoogle-perftools-dev libpython3-dev'; \
+ BUILD_DEPS='make cmake ninja-build gcc g++ wget git pkg-config m4 libtool automake autoconf libutf8proc-dev libarchive-dev libgmp-dev libossp-uuid-dev libpcre2-dev libreadline-dev libedit-dev libssl-dev zlib1g-dev libdb-dev unixodbc-dev libsqlite3-dev libserd-dev libraptor2-dev libyaml-dev libgoogle-perftools-dev libpython3-dev'; \
dpkgArch="$(dpkg --print-architecture)"; \
apt-get update; apt-get install -y --no-install-recommends $BUILD_DEPS; rm -rf /var/lib/apt/lists/*; \
mkdir /tmp/src; \
@@ -42,7 +44,7 @@ RUN set -eux; \
mkdir swipl-$SWIPL_VER/build; \
cd swipl-$SWIPL_VER/build; \
cmake -DCMAKE_BUILD_TYPE=PGO \
- -DSWIPL_PACKAGES_X=OFF \
+ -DSWIPL_PACKAGES_GUI=OFF \
-DSWIPL_PACKAGES_JAVA=OFF \
-DCMAKE_INSTALL_PREFIX=/usr \
-G Ninja \
@@ -66,12 +68,12 @@ RUN set -eux; \
find "$1" -name '*.so' -exec strip {} +; \
}; \
dpkgArch="$(dpkg --print-architecture)"; \
- install_addin prosqlite https://github.com/nicos-angelopoulos/prosqlite.git 95aba2a5c156b831cf2bcfd387f65a9b470280e4; \
+ install_addin prosqlite https://github.com/nicos-angelopoulos/prosqlite.git 831482c8f267e002147dc482c4e6509f9e27d97e; \
# C++ packages are currently incompatible with 32 bit. Must be upgraded to SWI-cpp2.h when stable.
# libgeos-dev of Debian bookworm is broken: the library does not define the Coordinate constructors nor the inline code to avoid calling these.
# [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin space https://github.com/JanWielemaker/space.git 097687c7b67902704b03f095cc2f1e943181e700; \
[ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rocksdb https://github.com/JanWielemaker/rocksdb.git d1463581484ec794d92700f88cee431b257f33dc; \
- [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin hdt https://github.com/JanWielemaker/hdt.git 7f2221747ea751a20ad0d7b95aebfd2c99649c1f; \
- [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rserve_client https://github.com/JanWielemaker/rserve_client.git bdf8962264d65dd8ef6eedf5f00ff0c0f6c52c2f; \
+ [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin hdt https://github.com/JanWielemaker/hdt.git ba23ea9aa4e22fcd1fc1ea3431950ef3e9375551; \
+ [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rserve_client https://github.com/JanWielemaker/rserve_client.git c6ef865f1cd9fe393213dd273fce13e96e4cb249; \
apt-get purge -y --auto-remove $BUILD_DEPS
CMD ["swipl"]Relevant Maintainers:
|
yosifkit
approved these changes
Apr 22, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.