Feature/dockerization (#5)

* Added Dockerfile and docker image build workflow

* Updated docker-imagel.yml

* Minor change to the docker image build action

* Changed trigger for docker image publishing

---------

Co-authored-by: Stefano Germano <[email protected]>

Author: markducks

.dockerignore

@@ -0,0 +1,34 @@
+# Include any files or directories that you don't want to be copied to your
+# container here (e.g., local build artifacts, temporary files, etc.).
+#
+# For more help, visit the .dockerignore file reference guide at
+# https://docs.docker.com/engine/reference/builder/#dockerignore-file
+
+**/.DS_Store
+**/__pycache__
+**/.venv
+**/.classpath
+**/.dockerignore
+**/.env
+**/.git
+**/.gitignore
+**/.project
+**/.settings
+**/.toolstarget
+**/.vs
+**/.vscode
+**/*.*proj.user
+**/*.dbmdl
+**/*.jfm
+**/bin
+**/charts
+**/docker-compose*
+**/compose*
+**/Dockerfile*
+**/node_modules
+**/npm-debug.log
+**/obj
+**/secrets.dev.yaml
+**/values.dev.yaml
+LICENSE
+README.md

.github/workflows/docker-image.yml

@@ -0,0 +1,81 @@
+name: Docker Image CI
+
+on:
+  release:
+    types: [published]
+
+jobs:
+  push_to_registry:
+    name: Push Docker image to Docker Hub
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out the repo
+        uses: actions/checkout@v4
+
+      - name: DLV folder creation
+        run: mkdir -p executables/dlv
+
+      - name: DLV2 folder creation
+        run: mkdir executables/dlv2
+        
+      - name: Clingo folder creation
+        run: mkdir executables/clingo
+
+      - name: Download DLV executables
+        run: |
+          wget -O dlv https://www.dlvsystem.it/files/dlv.x86-64-linux-elf-static.bin
+          mv dlv executables/dlv
+      
+      - name: Download DLV2 executables
+        run: |
+          wget -O dlv https://www.mat.unical.it/DLV2/releases/2.1.2/dlv-2.1.2-linux-x86_64
+          mv dlv executables/dlv2
+      
+      - name: Download Clingo executables
+        run: |
+          wget -O clingo.tar.gz https://master.dl.sourceforge.net/project/potassco/clingo/4.5.4/clingo-4.5.4-linux-x86_64.tar.gz?viasf=1
+
+      - name: Extract Clingo
+        run: |  
+          tar -xzf clingo.tar.gz
+          cd clingo-4.5.4-linux-x86_64
+          mv clingo ../executables/clingo
+      
+      - name: Download timeout script
+        run: |
+          wget -O timeout https://github.com/DeMaCS-UNICAL/PythonESE/releases/download/v0.1.0/timeout
+          mv timeout executables/timeout
+
+      - name: Make DLV executable
+        run: chmod +x executables/dlv/dlv
+
+      - name: Make DLV2 executable
+        run: chmod +x executables/dlv2/dlv-2.1.1-linux-x86
+
+      - name: Make Clingo executable
+        run: chmod +x executables/clingo/clingo
+      
+      - name: Make timeout executable
+        run: chmod +x executables/timeout
+
+      - name: Log in to Docker Hub
+        uses: docker/login-action@v3
+        with:
+          username: ${{ secrets.DOCKERHUB_USERNAME }}
+          password: ${{ secrets.DOCKERHUB_PASSWORD }}
+      
+      - name: Extract metadata (tags, labels) for Docker
+        id: meta
+        uses: docker/metadata-action@v5
+        with:
+          images: loideunical/loide:ese
+      - name: Build and push
+        uses: docker/build-push-action@v5
+        with:
+          context: .
+          platforms: linux/amd64
+          push: true
+          tags: loideunical/loide:ese
+          build-args:
+          
+            

Dockerfile

@@ -0,0 +1,11 @@
+FROM ubuntu:22.04
+
+RUN apt update
+RUN apt install python3 python3-pip -y
+COPY . .
+
+RUN pip install -r requirements.txt
+
+RUN apt-get install bubblewrap
+
+CMD python3 embasp_server_executor/ese_main.py

requirements.txt

@@ -1,3 +1,3 @@
 embasp-python
 tornado
-antlr4-python3-runtime==4.7
+antlr4-python3-runtime==4.7

setup.py

@@ -9,7 +9,7 @@
     packages=find_packages(),
     scripts=['embasp_server_executor/ese_main.py'],
 
-    install_requires=['embasp', 'tornado', 'antlr4-python3-runtime'],
+    install_requires=['embasp-python', 'tornado', 'antlr4-python3-runtime'],
     package_data={
         '': ['*.txt', '*.md'],
     },