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.17 #18136

Merged
merged 1 commit into from
Dec 19, 2024
Merged

Conversation

JanWielemaker
Copy link
Contributor

No description provided.

@JanWielemaker JanWielemaker requested a review from a team as a code owner December 18, 2024 14:32
Copy link

Diff for 58f5292:
diff --git a/_bashbrew-cat b/_bashbrew-cat
index 6db6db3..5bb69ae 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: 3db90e2a6e96829fc6101af3f5f8c12728cf7357
+GitCommit: 72d80cf34f165a7cc0159c5703a5f69afbf95f8e
 
-Tags: latest, 9.3.16
-Directory: 9.3.16/bookworm
+Tags: latest, 9.3.17
+Directory: 9.3.17/bookworm
 
 Tags: stable, 9.2.8
 Directory: 9.2.8/bookworm
diff --git a/_bashbrew-list b/_bashbrew-list
index eef2bff..3a8e075 100644
--- a/_bashbrew-list
+++ b/_bashbrew-list
@@ -1,4 +1,4 @@
 swipl:9.2.8
-swipl:9.3.16
+swipl:9.3.17
 swipl:latest
 swipl:stable
diff --git a/_bashbrew-list-build-order b/_bashbrew-list-build-order
index ca01415..51d0eda 100644
--- a/_bashbrew-list-build-order
+++ b/_bashbrew-list-build-order
@@ -1,2 +1,2 @@
 swipl:9.2.8
-swipl:9.3.16
+swipl:9.3.17
diff --git a/swipl_9.3.16/Dockerfile b/swipl_9.3.17/Dockerfile
similarity index 97%
rename from swipl_9.3.16/Dockerfile
rename to swipl_9.3.17/Dockerfile
index 1d6e791..aa120cd 100644
--- a/swipl_9.3.16/Dockerfile
+++ b/swipl_9.3.17/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.16; \
-    SWIPL_CHECKSUM=24bb77a90259be48729861193865a7c46ce1b0234ff846e8bdb4990c36eed12a; \
+    SWIPL_VER=9.3.17; \
+    SWIPL_CHECKSUM=0c091d56ea8c941e3af760af24134f60e1e06b1379af8dcd42492c82f5b3ac46; \
     # 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:

@tianon tianon merged commit abe37ae into docker-library:master Dec 19, 2024
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