uses dune as the main build system

.github/workflows/full.yml

@@ -0,0 +1,53 @@
+# tests all packages, including bap-extra
+# it requires ghidra, so it works only on ubuntu-20.04
+name: full
+run-name: Testing everything in ${{ github.ref }}
+
+on:
+  - pull_request
+
+jobs:
+  build:
+    runs-on: ubuntu-20.04
+    env:
+      BAP_LOG_DIR: $HOME/log
+      OPAMRETRES: 8
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Install Ghidra and Dejagnu
+        run: |
+          sudo add-apt-repository ppa:ivg/ghidra -y
+          sudo apt-get update -y
+          sudo apt-get install libghidra-dev -y
+          sudo apt-get install libghidra-data -y
+          sudo apt-get install dejagnu -y
+
+      - name: Install OCaml
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: 4.14.x
+          dune-cache: true
+          opam-disable-sandboxing: true
+
+      - name: Install BAP
+        run: opam install . --with-test
+
+      - name: Run Functional Tests
+        run: opam exec -- make check
+
+      - uses: actions/upload-artifact@v2
+        if: ${{ always() }}
+        with:
+          name: bap-log
+          path: ~/.local/state/bap
+
+      - uses: actions/upload-artifact@v2
+        if: ${{ always() }}
+        with:
+          name: fun-tests-log
+          path: |
+            testsuite/*.log
+            testsuite/logs

.github/workflows/check-the-style.yml → .github/workflows/lint.yml

@@ -1,10 +1,11 @@
-name: check-the-style
+name: lint
+run-name: Linting ${{ github.ref }}
 
 on:
   - pull_request
 
 jobs:
-  build:
+  check:
     runs-on: ubuntu-latest
 
     env:
@@ -18,7 +19,9 @@ jobs:
       - name: Setup OCaml
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 4.08.x
+          ocaml-compiler: 4.14.x
+          opam-pin: false
+          opam-depext: false
           dune-cache: true
 
       - name: Check the Style

.github/workflows/main.yml

@@ -0,0 +1,89 @@
+name: main
+run-name: Testing main packages in ${{ github.ref }}
+on:
+  - pull_request
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        os:
+          - ubuntu-20.04
+          - macos-11
+        ocaml-compiler:
+          - 4.08.x
+          - 4.14.x
+        exclude:
+          - os: macos-11
+            ocaml-compiler: 4.08.x
+
+
+    runs-on: ${{ matrix.os }}
+    continue-on-error: ${{ matrix.os == 'macos-11'}}
+
+    env:
+      TMPDIR: /tmp
+      XDG_CACHE_HOME: /tmp/cache
+      BAP_LOG_DIR: /tmp/bap-log
+      OPAMJOBS: 2
+      OPAMRETRES: 8
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+
+      - name: Prepare Ubuntu
+        if: matrix.os == 'ubuntu-20.04'
+        run: |
+          sudo apt-get update -y
+          sudo apt-get install dejagnu -y
+
+      - name: Prepare macOS
+        if: matrix.os == 'macos-11'
+        run: |
+          echo 'LLVM_CONFIG=/usr/local/opt/llvm@9/bin/llvm-config' >> $GITHUB_ENV
+          brew install deja-gnu
+
+      - name: Install OCaml
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          dune-cache: ${{  matrix.os != 'macos-11' }}
+          opam-disable-sandboxing: true
+          opam-local-packages: |
+            *.opam
+            !bap-extra.opam
+            !bap-radare2.opam
+            !bap-ghidra.opam
+            !bap-primus-symbolic-executor.opam
+            !bap-ida.opam
+          opam-repositories: |
+            default: git+https://github.com/ocaml/opam-repository.git
+            bap: git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing
+
+      - name: Build BAP
+        run: opam install bap.dev --with-test
+
+      - name: Run MC Functional Tests
+        run: |
+          opam exec -- make TOOLS=mc check
+
+      - uses: actions/upload-artifact@v2
+        if: ${{ always() }}
+        with:
+          name: bap-log
+          path: ~/.local/state/bap
+
+      - uses: actions/upload-artifact@v2
+        if: ${{ always() }}
+        with:
+          name: unit-tests-log
+          path: _build/default/lib_test/*/oUnit-*.log
+
+      - uses: actions/upload-artifact@v2
+        if: ${{ always() }}
+        with:
+          name: fun-tests-log
+          path: |
+            testsuite/*.log
+            testsuite/logs

.github/workflows/nightly-testing.yml → .github/workflows/nightly.yml

@@ -1,4 +1,5 @@
-name: nightly-regression-tests
+name: nightly
+run-name: Running nightly tests on ${{ github.sha }}
 
 on:
   schedule:
@@ -10,9 +11,9 @@ jobs:
     strategy:
       matrix:
         os:
-          - ubuntu-18.04
+          - ubuntu-20.04
         ocaml-compiler:
-          - 4.11.x
+          - 4.14.x
           - 4.08.x
 
     runs-on: ${{ matrix.os }}
@@ -22,29 +23,22 @@ jobs:
       OPAMRETRES: 8
 
     steps:
-      - name: Use OCaml ${{ matrix.ocaml-compiler }}
-        uses: ocaml/setup-ocaml@master
-        with:
-          ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          dune-cache: true
-          cache-prefix: nightly
-
-      - name: Install Ghidra
+      - name: Install Extra System Dependencies
         run: |
           sudo add-apt-repository ppa:ivg/ghidra -y
           sudo apt-get install libghidra-dev -y
           sudo apt-get install libghidra-data -y
+          sudo apt-get install dejagnu -y
 
-      - name: Add the Testing Repository
-        run: opam repo add bap git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing
-      - name: Install System Dependencies
-        run: opam depext -u bap-extra
-
-      - name: Install radare2 Dependencies
-        run: opam depext -u bap-radare2
-
-      - name: Cleanup the Caches
-        run: sudo apt clean --yes
+      - name: Use OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          dune-cache: ${{  matrix.os != 'macos-11' }}
+          opam-disable-sandboxing: true
+          opam-repositories: |
+            default: git+https://github.com/ocaml/opam-repository.git
+            bap: git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing
 
       - name: Build and Install BAP
         run: opam install bap-extra bap-radare2
@@ -54,11 +48,6 @@ jobs:
         with:
           repository: BinaryAnalysisPlatform/bap
 
-      - name: Install Extra System Dependencies
-        run: |
-          opam pin add bap . -n
-          opam depext -u bap
-
       - name: Run Functional Tests
         run: opam exec -- make check