Update build.yml

meelgroup · Apr 11, 2024 · 4ef9292 · 4ef9292
1 parent 19dea00
commit 4ef9292
Showing 1 changed file with 36 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -43,6 +43,42 @@ jobs:
        cmake ..
        make
        cd ../..
+       
+    - name: Checkout Cadical
+      uses: actions/checkout@v2
+      with:
+        repository: meelgroup/cadical
+        ref: mate-only-libraries-1.8.0
+        path: cadical
+
+    - name: Build Cadical
+      run: |
+       cd cadical
+       ./configure
+       make -j8
+       cd ..
+
+    - name: Checkout Cadiback
+      uses: actions/checkout@v2
+      with:
+        repository: meelgroup/cadiback
+        ref: mate
+        path: cadiback
+
+    - name: Build Cadiback
+      run: |
+       cd cadiback
+       ./configure
+       make -j8
+       cd ..
+
+    - name: Build Arjun
+      run: |
+       cd arjun
+       mkdir build && cd build
+       cmake ..
+       make
+       cd ../..
    
     - name: Checkout Arjun
       uses: actions/checkout@v2