From 39a933d9795ca3ed856d4ac835f78eb10f122061 Mon Sep 17 00:00:00 2001
From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Fri, 24 Jul 2020 15:30:34 +0200
Subject: [PATCH] Use Z3 from Fedora repos for faster CI

---
 .build.yml | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/.build.yml b/.build.yml
index 6bc7533..aa2637e 100644
--- a/.build.yml
+++ b/.build.yml
@@ -24,6 +24,7 @@ packages:
   - gperf
   - libyaml-devel
   - gmp-devel
+  - z3-devel
 sources:
   - https://git.sr.ht/~macbook/gram
 tasks:
@@ -56,15 +57,6 @@ tasks:
       make -j$(nproc)
       sudo make install
       rm -rf /tmp/yices2
-  - install-z3: |
-      git clone https://github.com/Z3Prover/z3.git z3
-      cd z3
-      echo "z3 Git hash: $(git rev-parse HEAD)"
-      python scripts/mk_make.py
-      cd build
-      make -j$(nproc)
-      sudo make install
-      rm -rf /tmp/z3
   - install-icarus-verilog: |
       cd /tmp
       git clone git://github.com/steveicarus/iverilog.git iverilog
-- 
2.30.2