From 2fbdfbed0f2b7b0777fc8df23de17d7f6e003896 Mon Sep 17 00:00:00 2001 From: Itamar Date: Sun, 1 Sep 2024 19:00:50 +0000 Subject: [PATCH] [Feature:Autograding] Add Prolog image (#43) ### Please check if the PR fulfills these requirements: * [x] Tests for the changes have been added/updated (if possible) * [x] Documentation has been updated/added if relevant ### What is the current behavior? none ### What is the new behavior? we can now run prolog files ### Other information? this is not a breaking change and I tested it using: ```sh docker build -t prolog-environment . docker run -it prolog-environment > swipl > ?- write('Hello, Prolog!'), nl. > ?- halt. ``` --------- Co-authored-by: Chris Reed <55092742+cjreed121@users.noreply.github.com> --- dockerfiles/prolog/8/Dockerfile | 10 ++++++++++ dockerfiles/prolog/metadata.json | 3 +++ 2 files changed, 13 insertions(+) create mode 100644 dockerfiles/prolog/8/Dockerfile create mode 100644 dockerfiles/prolog/metadata.json 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"] 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 +}