Adding Dockerfile with example and updated README file

.github/workflows/main.yml

@@ -0,0 +1,53 @@
+name: Gradle Package
+
+on:
+  push:
+    branches: [ main-gk ]
+
+  pull_request:
+    branches: [ main-gk ]
+  workflow_dispatch:
+
+
+jobs:
+
+  build:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest, macos-latest]
+
+
+    steps:
+
+    - name: Checkout repository
+      uses: actions/checkout@v3
+      with:
+        submodules: recursive
+        fetch-depth: 0
+
+
+    - name: Updating Git-submodule
+      run: |
+        git submodule update --init --recursive
+        git submodule foreach --recursive git fetch
+        git submodule foreach git merge origin master 
+
+    - name: Set up JDK 1.8
+      uses: actions/setup-java@v3
+      with:
+        java-version: 8
+        distribution: 'adopt'
+        cache: gradle
+
+
+    - name: Building jpf-symbc with Gradle
+      run: |
+        git submodule update --recursive
+        ./gradlew :jpf-core:buildJars
+        ./gradlew :jpf-symbc:buildJar
+
+
+    - name: Testing jpf-symbc with Junit version 4.2
+      run: |
+        ./gradlew :jpf-symbc:test

.gitignore

@@ -1,13 +1,78 @@
-.hg
-.hgignore
+# Ignore Gradle project-specific cache directory
+.gradle
+
+# Ignore Gradle build output directory
+build
 local.properties
 .version
-nbproject/private/*
-build/*
-dist/*
-tmp/*
+build.properties
+
+####### General #######
+*.swo
 trace
+activity*.png
 *.class
 *.orig
 *~
 *.DS_Store
+
+####### Ant #######
+build/
+
+####### Gradle #######
+.gradle/
+reports/
+
+####### Covers NetBeans IDE #######
+nbproject/private/
+nbbuild/
+dist/
+nbdist/
+.nb-gradle/
+
+####### Covers Eclipse IDE #######
+.idea/
+.metadata
+tmp/
+*.tmp
+*.bak
+*.swp
+*~.nib
+.settings/
+.loadpath
+.recommenders
+.classpath
+.project
+
+####### Covers JetBrains IDE: IntelliJ #######
+*.iml
+*.ipr
+
+# User-specific stuff:
+.idea/**/workspace.xml
+.idea/**/tasks.xml
+.idea/dictionaries
+.idea/ant.xml
+
+# Sensitive or high-churn files:
+.idea/**/dataSources/
+.idea/**/dataSources.ids
+.idea/**/dataSources.local.xml
+.idea/**/sqlDataSources.xml
+.idea/**/dynamic.xml
+.idea/**/uiDesigner.xml
+
+# Gradle:
+.idea/**/gradle.xml
+.idea/**/libraries
+
+## File-based project format:
+*.iws
+
+## Plugin-specific files:
+
+# IntelliJ
+out/
+
+# JIRA plugin
+atlassian-ide-plugin.xml

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "jpf-core"]
+	path = jpf-core
+	url = https://github.com/javapathfinder/jpf-core

Dockerfile

@@ -0,0 +1,23 @@
+# Step 1: Base image with Ubuntu
+FROM ubuntu:latest
+# Step 2: Install OpenJDK 8 and Gradle
+RUN apt-get update && \
+    apt-get install -y openjdk-8-jdk && \
+    apt-get install -y unzip wget && \
+    apt-get clean
+RUN apt-get update && apt-get install -y dos2unix && apt-get clean
+RUN apt-get install -y git
+# Download and install Gradle
+ENV GRADLE_VERSION 6.9
+RUN wget -q https://services.gradle.org/distributions/gradle-${GRADLE_VERSION}-bin.zip && \
+    unzip -q gradle-${GRADLE_VERSION}-bin.zip -d /opt && \
+    rm gradle-${GRADLE_VERSION}-bin.zip
+ENV GRADLE_HOME=/opt/gradle-${GRADLE_VERSION}
+ENV PATH=${GRADLE_HOME}/bin:${PATH}
+# Step 3: Set the working directory
+WORKDIR /app
+# Step 4: Copy files from the current directory to the working directory
+COPY . .
+RUN dos2unix /app/entrypoint.sh && chmod +x /app/entrypoint.sh
+# Step 5: Run a Bash script
+CMD ["/bin/bash", "entrypoint.sh"]