From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Wed, 8 Jul 2020 12:28:18 +0000 (+0200)
Subject: Drop YoWASP, build Yosys and SymbiYosys from source
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f1e9680524c53de01a70cafbe468f1903fea3253;p=gram.git

Drop YoWASP, build Yosys and SymbiYosys from source
---

diff --git a/.build.yml b/.build.yml
index 4e424d1..ba5941b 100644
--- a/.build.yml
+++ b/.build.yml
@@ -23,19 +23,52 @@ packages:
   - autoconf
   - gperf
   - libyaml-devel
+  - gmp-devel
 sources:
   - https://git.sr.ht/~macbook/gram
 tasks:
   - install-python-packages: |
-      pip install yowasp-yosys git+git://github.com/nmigen/nmigen.git git+git://github.com/nmigen/nmigen-boards.git git+git://github.com/nmigen/nmigen-stdio.git git+git://github.com/nmigen/nmigen-soc.git git+git://github.com/lambdaconcept/lambdasoc.git --user
+      pip install git+git://github.com/nmigen/nmigen.git git+git://github.com/nmigen/nmigen-boards.git git+git://github.com/nmigen/nmigen-stdio.git git+git://github.com/nmigen/nmigen-soc.git git+git://github.com/lambdaconcept/lambdasoc.git --user
+  - install-yosys: |
+      cd /tmp
+      git clone https://github.com/YosysHQ/yosys yosys
+      cd yosys
+      make config-gcc
+      make -j$(nproc)
+      sudo make install
+      rm -rf /tmp/yosys
+  - install-symbiyosys: |
+      cd /tmp
+      git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
+      cd SymbiYosys
+      sudo make install
+      rm -rf /tmp/SymbiYosys
+  - install-yices2: |
+      cd /tmp
+      git clone https://github.com/SRI-CSL/yices2.git yices2
+      cd yices2
+      autoconf
+      ./configure
+      make -j$(nproc)
+      sudo make install
+      rm -rf /tmp/yices2
+  - install-z3: |
+      git clone https://github.com/Z3Prover/z3.git z3
+      cd z3
+      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
+      git clone git://github.com/steveicarus/iverilog.git iverilog
       cd iverilog
       autoconf
       ./configure
       make -j$(nproc)
       sudo make install
+      rm -rf /tmp/iverilog
   - install-gram: |
       cd ~/gram
       python setup.py install --user