From e21e020817eab37d94ed4c9ea77f40d126c58d43 Mon Sep 17 00:00:00 2001
From: Harshvardhan Parmar <harshparmar4902@gmail.com>
Date: Thu, 4 Apr 2024 16:06:48 +0530
Subject: [PATCH] Support of GitHub actions for automatic checking (#9)

---
 .github/workflows/main.yml | 42 ++++++++++++++++++++++++++++++++++++++
 .gitignore                 |  1 +
 2 files changed, 43 insertions(+)
 create mode 100644 .github/workflows/main.yml

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
new file mode 100644
index 0000000..42b81b5
--- /dev/null
+++ b/.github/workflows/main.yml
@@ -0,0 +1,42 @@
+name: build
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest]
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v2
+        with:
+          fetch-depth: 0
+      - name: Set up JDK 11
+        uses: actions/setup-java@v2
+        with:
+          java-version: 11
+          distribution: "adopt"
+
+      - name: build jpf-core
+        run:
+          cd $HOME/work/jpf-nhandler;
+          git clone https://github.com/javapathfinder/jpf-core.git;
+          cd jpf-core;
+          ./gradlew build
+
+      - name: create site.properties file
+        run:
+          mkdir $HOME/.jpf;
+          echo "jpf-core = ${HOME}/work/jpf-nhandler/jpf-core" >> $HOME/.jpf/site.properties;
+          echo "jpf-numeric = ${HOME}/work/jpf-nhandler/jpf-numeric" >> $HOME/.jpf/site.properties;
+          echo "jpf-aprop = ${HOME}/work/jpf-nhandler/jpf-aprop" >> $HOME/.jpf/site.properties;
+          echo "extensions=${HOME}/work/jpf-nhandler/jpf-core,${HOME}/work/jpf-nhandler/jpf-aprop" >> $HOME/.jpf/site.properties;
+          echo "jpf-nhandler = ${HOME}/work/jpf-nhandler/jpf-nhandler" >> $HOME/.jpf/site.properties
+
+      - name: Build and test jpf-nhandler
+        run:
+          ./gradlew clean check
diff --git a/.gitignore b/.gitignore
index 3463704..621ef1d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@ onthefly/
 *~
 *.DS_Store
 *.swp
+.idea