ci: build slugs

whitemech · Jan 22, 2024 · 25453d2 · 25453d2
1 parent e51edd2
commit 25453d2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
@@ -34,6 +34,10 @@ jobs:
           
           # install graphviz
           sudo apt-get install graphviz libgraphviz-dev
+          
+          # build slugs
+          sudo apt install -y libboost-all-dev
+          cd submodules/slugs/src && make -j
       - name: Install Z3
         run: |
           wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.12/z3-4.8.12-x64-glibc-2.31.zip