update ci

loganrjmurphy · May 28, 2024 · 4b72123 · 4b72123
1 parent 51a7efd
commit 4b72123
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -31,6 +31,21 @@ jobs:
           make -j$(nproc)
           sudo make install
             
+      - name: Install CVC5
+        run: |
+          git clone https://github.com/cvc5/cvc5
+          cd cvc5
+          ./configure.sh
+          cd build
+          make -j$(nproc)
+          sudo make install
+
+      - name: Install Python and the smt-portfolio library
+        run: |
+          sudo apt-get update
+          sudo apt-get install python3 python3-pip
+          pip3 install smt-portfolio
+
       - name: Get cache
         run: ~/.elan/bin/lake exe cache get || true