Add CI job to build the docker image (#611)

* Add CI job to build the docker image * Install java 17 in container * Cleanup Dockerfile --------- Signed-off-by: Hernan Ponce de Leon <[email protected]> Co-authored-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Feb 1, 2024 · 2685b3e · 2685b3e
1 parent a751ebf
commit 2685b3e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -40,6 +40,9 @@ jobs:
     - name: Build with Maven
       run: mvn --batch-mode --update-snapshots install
 
+    - name: Build the Docker image
+      run: docker build . --file Dockerfile
+
     - name: Generate JaCoCo Badge
       id: jacoco
       uses: cicirello/jacoco-badge-generator@v2

diff --git a/Dockerfile b/Dockerfile
@@ -12,16 +12,14 @@ RUN apt-get update && \
     apt-get install -y sudo && \
     apt-get install -y wget && \
     apt-get install -y maven && \
-    apt-get install -y cmake && \
-    apt-get install -y autoconf && \
-    apt-get install -y automake && \
+    apt-get install -y openjdk-17-jdk && \
+    apt-get install -y openjdk-17-jre && \
     apt-get install -y graphviz
 
 # Install Dat3M
 RUN cd home && \
     git clone --branch development https://github.com/hernanponcedeleon/Dat3M.git && \
     cd Dat3M && \
-    chmod 755 Dartagnan-SVCOMP.sh && \
     mvn clean install -DskipTests
 
 # symlink for clang
@@ -30,5 +28,4 @@ RUN ln -s clang-12 /usr/bin/clang
 ENV DAT3M_HOME=/home/Dat3M
 ENV DAT3M_OUTPUT=$DAT3M_HOME/output
 ENV CFLAGS="-I$DAT3M_HOME/include"
-ENV OPTFLAGS="-mem2reg -sroa -early-cse -indvars -loop-unroll -fix-irreducible -loop-simplify -simplifycfg -gvn"
-ENV LD_LIBRARY_PATH=/usr/local/lib
+ENV OPTFLAGS="-mem2reg -sroa -early-cse -indvars -loop-unroll -fix-irreducible -loop-simplify -simplifycfg -gvn"