From fe66671ef517d70928a0ceee5f70a26fc5071333 Mon Sep 17 00:00:00 2001 From: Dave Curylo Date: Thu, 1 Jun 2017 12:18:42 -0400 Subject: [PATCH 1/4] Adding SWI-Prolog official image. --- library/swipl | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 library/swipl diff --git a/library/swipl b/library/swipl new file mode 100644 index 0000000000000..07aa983f3bf91 --- /dev/null +++ b/library/swipl @@ -0,0 +1,6 @@ +Maintainers: Dave Curylo (@ninjarobot) +GitRepo: https://github.com/SWI-Prolog/docker-swipl.git + +Tags: latest, 7.5.7 +GitCommit: 05c70112197e4c59da8af37743a493ca9a3266fb +Directory: 7.5.7/jessie From 5583099168a520d3630fb8d0abde9f7d74ec3ee9 Mon Sep 17 00:00:00 2001 From: Dave Curylo Date: Sun, 16 Jul 2017 22:53:21 -0400 Subject: [PATCH 2/4] Switch to Debian Stretch, bump to swipl 7.5.11 --- library/swipl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/library/swipl b/library/swipl index 07aa983f3bf91..43b588ccf1d60 100644 --- a/library/swipl +++ b/library/swipl @@ -1,6 +1,6 @@ Maintainers: Dave Curylo (@ninjarobot) GitRepo: https://github.com/SWI-Prolog/docker-swipl.git -Tags: latest, 7.5.7 -GitCommit: 05c70112197e4c59da8af37743a493ca9a3266fb -Directory: 7.5.7/jessie +Tags: latest, 7.5.11 +GitCommit: 379993742ae105d4db2395bfeb0aa0441df54b56 +Directory: 7.5.11/stretch From 922fd23d7959df4ac736903e02a0a5279aedb24c Mon Sep 17 00:00:00 2001 From: Dave Curylo Date: Thu, 10 Aug 2017 15:53:42 -0400 Subject: [PATCH 3/4] Installing swipl runtime deps in separate RUN --- library/swipl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/swipl b/library/swipl index 43b588ccf1d60..1d4444b80b295 100644 --- a/library/swipl +++ b/library/swipl @@ -2,5 +2,5 @@ Maintainers: Dave Curylo (@ninjarobot) GitRepo: https://github.com/SWI-Prolog/docker-swipl.git Tags: latest, 7.5.11 -GitCommit: 379993742ae105d4db2395bfeb0aa0441df54b56 +GitCommit: 6adb96cb5bcd670c593452add9de417f841617aa Directory: 7.5.11/stretch From c05098a4c3143ba6b88ac146d6360990c652e5f9 Mon Sep 17 00:00:00 2001 From: Dave Curylo Date: Thu, 10 Aug 2017 16:29:21 -0400 Subject: [PATCH 4/4] Remove libarchive13 from swipl build deps --- library/swipl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/swipl b/library/swipl index 1d4444b80b295..ffd1f5d08342b 100644 --- a/library/swipl +++ b/library/swipl @@ -2,5 +2,5 @@ Maintainers: Dave Curylo (@ninjarobot) GitRepo: https://github.com/SWI-Prolog/docker-swipl.git Tags: latest, 7.5.11 -GitCommit: 6adb96cb5bcd670c593452add9de417f841617aa +GitCommit: e8d1f0bf3db5e9cbfa331aba06bb740a76a81f83 Directory: 7.5.11/stretch