update

loganrjmurphy · May 28, 2024 · 9721e8b · 9721e8b
1 parent 1199e68
commit 9721e8b
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -22,20 +22,20 @@ jobs:
       - name: Install elan
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.5.0
 
-      - name: Install Z3
+      - name: Install CVC5
         run: |
-          git clone https://github.com/Z3Prover/z3
-          cd z3
-          python3 scripts/mk_make.py
+          git clone https://github.com/cvc5/cvc5
+          cd cvc5
+          ./configure.sh --auto-download
           cd build
           make -j$(nproc)
           sudo make install
-            
-      - name: Install CVC5
+
+      - name: Install Z3
         run: |
-          git clone https://github.com/cvc5/cvc5
-          cd cvc5
-          ./configure.sh
+          git clone https://github.com/Z3Prover/z3
+          cd z3
+          python3 scripts/mk_make.py
           cd build
           make -j$(nproc)
           sudo make install