From 4ef929257666243608ab29693626e1aa18bc3e7e Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Thu, 11 Apr 2024 21:16:46 +0200
Subject: [PATCH] Update build.yml

---
 .github/workflows/build.yml | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 7afa441..52d9070 100644
--- 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