Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Updated swipl devel to 9.3.18 #18196

Merged
merged 1 commit into from
Jan 7, 2025

Conversation

JanWielemaker
Copy link
Contributor

No description provided.

@JanWielemaker JanWielemaker requested a review from a team as a code owner January 7, 2025 09:49
Copy link

github-actions bot commented Jan 7, 2025

Diff for fa69e87:
diff --git a/_bashbrew-cat b/_bashbrew-cat
index fd7cfa1..cc3f964 100644
--- a/_bashbrew-cat
+++ b/_bashbrew-cat
@@ -1,10 +1,10 @@
 Maintainers: Jan Wielemaker <[email protected]> (@JanWielemaker), Dave Curylo <[email protected]> (@ninjarobot)
 Architectures: amd64, arm32v7, arm64v8
 GitRepo: https://github.com/SWI-Prolog/docker-swipl.git
-GitCommit: ff6d36b1783bacaedc5d131cdfe38524aa246348
+GitCommit: 8c4558983698e6d6b22f936376e645d20d8eea37
 
-Tags: latest, 9.3.17
-Directory: 9.3.17/bookworm
+Tags: latest, 9.3.18
+Directory: 9.3.18/bookworm
 
 Tags: stable, 9.2.9
 Directory: 9.2.9/bookworm
diff --git a/_bashbrew-list b/_bashbrew-list
index 8ab8802..f514166 100644
--- a/_bashbrew-list
+++ b/_bashbrew-list
@@ -1,4 +1,4 @@
 swipl:9.2.9
-swipl:9.3.17
+swipl:9.3.18
 swipl:latest
 swipl:stable
diff --git a/_bashbrew-list-build-order b/_bashbrew-list-build-order
index c2619ec..227d789 100644
--- a/_bashbrew-list-build-order
+++ b/_bashbrew-list-build-order
@@ -1,2 +1,2 @@
 swipl:9.2.9
-swipl:9.3.17
+swipl:9.3.18
diff --git a/swipl_9.3.17/Dockerfile b/swipl_9.3.18/Dockerfile
similarity index 97%
rename from swipl_9.3.17/Dockerfile
rename to swipl_9.3.18/Dockerfile
index aa120cd..3dac0e8 100644
--- a/swipl_9.3.17/Dockerfile
+++ b/swipl_9.3.18/Dockerfile
@@ -27,8 +27,8 @@ RUN apt-get update && \
     rm -rf /var/lib/apt/lists/*
 ENV LANG C.UTF-8
 RUN set -eux; \
-    SWIPL_VER=9.3.17; \
-    SWIPL_CHECKSUM=0c091d56ea8c941e3af760af24134f60e1e06b1379af8dcd42492c82f5b3ac46; \
+    SWIPL_VER=9.3.18; \
+    SWIPL_CHECKSUM=8302de3a9e204bccd8e1c1211737572a67c511d1713d13abf7a726abfb181ac3; \
     # 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'; \
     dpkgArch="$(dpkg --print-architecture)"; \

Relevant Maintainers:

@yosifkit yosifkit merged commit 4106756 into docker-library:master Jan 7, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants