From 217360adae36097eb7daa364a55a570a57647600 Mon Sep 17 00:00:00 2001
From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Fri, 24 Jul 2020 18:44:58 +0200
Subject: [PATCH] Use Yices from Fedora repository

---
 .build.yml | 12 ++----------
 1 file changed, 2 insertions(+), 10 deletions(-)

diff --git a/.build.yml b/.build.yml
index aa2637e..fb3a620 100644
--- a/.build.yml
+++ b/.build.yml
@@ -25,6 +25,8 @@ packages:
   - libyaml-devel
   - gmp-devel
   - z3-devel
+  - yices-devel
+  - yices-tools
 sources:
   - https://git.sr.ht/~macbook/gram
 tasks:
@@ -47,16 +49,6 @@ tasks:
       echo "SymbiYosys Git hash: $(git rev-parse HEAD)"
       sudo make install
       rm -rf /tmp/SymbiYosys
-  - install-yices2: |
-      cd /tmp
-      git clone https://github.com/SRI-CSL/yices2.git yices2
-      cd yices2
-      echo "Yices2 Git hash: $(git rev-parse HEAD)"
-      autoconf
-      ./configure
-      make -j$(nproc)
-      sudo make install
-      rm -rf /tmp/yices2
   - install-icarus-verilog: |
       cd /tmp
       git clone git://github.com/steveicarus/iverilog.git iverilog
-- 
2.30.2