From 359129757bcc9e30da2f88e711d9ef5f553dc43b Mon Sep 17 00:00:00 2001
From: Sifis Lagouvardos <sifislag@gmail.com>
Date: Mon, 26 Aug 2024 17:27:49 +0300
Subject: [PATCH] Build and test with souffle package from apt

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

diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index 57783ca..2b573dd 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -16,6 +16,34 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+    - name: Build
+      run: make libsoufflenum.so
+    - name: Test
+      run: make
+    - name: Run lists_test.dl
+      run: souffle lists_test.dl
+    - name: Run smt-testing.dl
+      run: souffle smt-testing.dl
+
+  build-and-test-with-package:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+
+    - name: Install Souffle
+      run: |
+        sudo wget https://souffle-lang.github.io/ppa/souffle-key.public -O /usr/share/keyrings/souffle-archive-keyring.gpg
+        echo "deb [signed-by=/usr/share/keyrings/souffle-archive-keyring.gpg] https://souffle-lang.github.io/ppa/ubuntu/ stable main" | sudo tee /etc/apt/sources.list.d/souffle.list
+        sudo apt update && sudo apt install souffle=2.4
+
+    - name: Test Souffle
+      run: souffle --version
+
+    - name: Install Boost
+      run: sudo apt install libboost-all-dev
+
     - name: Build
       run: make libsoufflenum.so
     - name: Test