Merge pull request #26 from SoftwareFoundationGroupAtKyotoU/setup-git…

…hub-actions

Set up GitHub Actions: Build for Windows and validation of gradle are left for future work.

.github/workflows/build.yml

@@ -0,0 +1,66 @@
+name: Main workflow
+
+on:
+  pull_request:
+  push:
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        os:
+          - macos-latest
+          - ubuntu-latest
+#          - windows-latest
+        ocaml-compiler:
+          - 4.12.x
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+
+      - name: Use OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+
+      - run: cd src; opam install . --deps-only --with-test
+
+      - run: opam install --yes menhir ppx_sexp_conv sexplib dune ppx_let ppx_custom_printf yaml
+
+      - name: Use Z3
+        uses: pavpanchekha/[email protected]
+        with:
+          version: '4.8.12'
+          distribution: 'glibc-2.31'
+        if: matrix.os == 'ubuntu-latest'
+
+      - name: Use Z3
+        uses: pavpanchekha/[email protected]
+        with:
+          version: '4.8.12'
+          distribution: 'osx-10.15.7'
+        if: matrix.os == 'macos-latest'
+
+      - run: opam exec -- dune build test.exe
+        working-directory: ./src
+
+      - run: opam exec -- dune build test_suite.exe
+        working-directory: ./src
+
+      - run: opam exec -- dune build genFlags.exe
+        working-directory: ./src
+
+      - name: Set up JDK 11
+        uses: actions/setup-java@v2
+        with:
+          java-version: '11'
+          distribution: 'adopt'
+#      - name: Validate Gradle wrapper
+#        uses: gradle/wrapper-validation-action@v1
+      - name: Build with Gradle
+        run: ./gradlew installDist
+        working-directory: ./src/regnant