From 9d69429baca5c7477bc1593c46558215194cecd8 Mon Sep 17 00:00:00 2001 From: ION606 Date: Fri, 23 Aug 2024 20:24:44 -0400 Subject: [PATCH 1/7] feat(adding PROGLANG languages): added prolog --- dockerfiles/prolog/latest/Dockerfile | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 dockerfiles/prolog/latest/Dockerfile diff --git a/dockerfiles/prolog/latest/Dockerfile b/dockerfiles/prolog/latest/Dockerfile new file mode 100644 index 0000000..7c5c395 --- /dev/null +++ b/dockerfiles/prolog/latest/Dockerfile @@ -0,0 +1,20 @@ +FROM debian:bullseye-slim + +# Install necessary packages for SWI-Prolog +RUN apt-get update \ + && apt-get -y --no-install-recommends install \ + build-essential \ + curl \ + libgmp-dev \ + libssl-dev \ + zlib1g-dev \ + && rm -rf /var/lib/apt/lists/* + +# Install SWI-Prolog +RUN apt-get update \ + && apt-get install -y swi-prolog \ + && rm -rf /var/lib/apt/lists/* + +WORKDIR /usr/src/app + +CMD ["/bin/bash"] From 41c289d5b1e02d6935ab6dbfafdd22a149e76cc4 Mon Sep 17 00:00:00 2001 From: ION606 Date: Fri, 23 Aug 2024 20:25:28 -0400 Subject: [PATCH 2/7] feat(adding PROGLANG languages): added prolog --- dockerfiles/prolog/metadata.json | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 dockerfiles/prolog/metadata.json diff --git a/dockerfiles/prolog/metadata.json b/dockerfiles/prolog/metadata.json new file mode 100644 index 0000000..99c1ffc --- /dev/null +++ b/dockerfiles/prolog/metadata.json @@ -0,0 +1,3 @@ +{ + "pushLatest": false +} From 66b58f2e4d84c8503e32b916b71e5b2ba7c6b594 Mon Sep 17 00:00:00 2001 From: Itamar Date: Fri, 30 Aug 2024 23:01:12 +0000 Subject: [PATCH 3/7] Update Dockerfile --- dockerfiles/prolog/latest/Dockerfile | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/dockerfiles/prolog/latest/Dockerfile b/dockerfiles/prolog/latest/Dockerfile index 7c5c395..3067ff7 100644 --- a/dockerfiles/prolog/latest/Dockerfile +++ b/dockerfiles/prolog/latest/Dockerfile @@ -8,11 +8,7 @@ RUN apt-get update \ libgmp-dev \ libssl-dev \ zlib1g-dev \ - && rm -rf /var/lib/apt/lists/* - -# Install SWI-Prolog -RUN apt-get update \ - && apt-get install -y swi-prolog \ + swi-prolog \ && rm -rf /var/lib/apt/lists/* WORKDIR /usr/src/app From 9fa4487bbd99c62539228399d9638b8a8142da38 Mon Sep 17 00:00:00 2001 From: ion606 Date: Fri, 30 Aug 2024 19:58:19 -0400 Subject: [PATCH 4/7] version fix --- dockerfiles/prolog/latest/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dockerfiles/prolog/latest/Dockerfile b/dockerfiles/prolog/latest/Dockerfile index 3067ff7..86af3ee 100644 --- a/dockerfiles/prolog/latest/Dockerfile +++ b/dockerfiles/prolog/latest/Dockerfile @@ -1,4 +1,4 @@ -FROM debian:bullseye-slim +FROM ubuntu:22.04 # Install necessary packages for SWI-Prolog RUN apt-get update \ From 6bbdf213af7eeb0dddd6fd2feb8900ab604a0ba8 Mon Sep 17 00:00:00 2001 From: ION606 Date: Fri, 30 Aug 2024 23:35:03 -0400 Subject: [PATCH 5/7] fix version --- dockerfiles/prolog/latest/Dockerfile | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/dockerfiles/prolog/latest/Dockerfile b/dockerfiles/prolog/latest/Dockerfile index 86af3ee..a49015e 100644 --- a/dockerfiles/prolog/latest/Dockerfile +++ b/dockerfiles/prolog/latest/Dockerfile @@ -2,13 +2,7 @@ FROM ubuntu:22.04 # Install necessary packages for SWI-Prolog RUN apt-get update \ - && apt-get -y --no-install-recommends install \ - build-essential \ - curl \ - libgmp-dev \ - libssl-dev \ - zlib1g-dev \ - swi-prolog \ + && apt-get -y install swi-prolog=8.4.2+dfsg-2ubuntu1 --no-install-recommends \ && rm -rf /var/lib/apt/lists/* WORKDIR /usr/src/app From ec7ee709260b973989f41f4608c913f69a9cd1db Mon Sep 17 00:00:00 2001 From: ION606 Date: Sat, 31 Aug 2024 16:30:02 -0400 Subject: [PATCH 6/7] dirname change --- dockerfiles/prolog/8/Dockerfile | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 dockerfiles/prolog/8/Dockerfile diff --git a/dockerfiles/prolog/8/Dockerfile b/dockerfiles/prolog/8/Dockerfile new file mode 100644 index 0000000..a49015e --- /dev/null +++ b/dockerfiles/prolog/8/Dockerfile @@ -0,0 +1,10 @@ +FROM ubuntu:22.04 + +# Install necessary packages for SWI-Prolog +RUN apt-get update \ + && apt-get -y install swi-prolog=8.4.2+dfsg-2ubuntu1 --no-install-recommends \ + && rm -rf /var/lib/apt/lists/* + +WORKDIR /usr/src/app + +CMD ["/bin/bash"] From e91671e446adc3341c3789069c47e3f486846718 Mon Sep 17 00:00:00 2001 From: ION606 Date: Sat, 31 Aug 2024 16:32:39 -0400 Subject: [PATCH 7/7] git did...something --- dockerfiles/prolog/latest/Dockerfile | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 dockerfiles/prolog/latest/Dockerfile diff --git a/dockerfiles/prolog/latest/Dockerfile b/dockerfiles/prolog/latest/Dockerfile deleted file mode 100644 index a49015e..0000000 --- a/dockerfiles/prolog/latest/Dockerfile +++ /dev/null @@ -1,10 +0,0 @@ -FROM ubuntu:22.04 - -# Install necessary packages for SWI-Prolog -RUN apt-get update \ - && apt-get -y install swi-prolog=8.4.2+dfsg-2ubuntu1 --no-install-recommends \ - && rm -rf /var/lib/apt/lists/* - -WORKDIR /usr/src/app - -CMD ["/bin/bash"]