Remove datavalid signal

[gram.git] / .build.yml

diff --git a/.build.yml b/.build.yml
index 7a97ab8cb204f56d22a1a7b7c0d9ab7a2d79dc1b..fb3a620967e2d28228949f824832c481cca3cc8b 100644 (file)
--- a/.build.yml
+++ b/.build.yml
@@ -23,26 +23,46 @@ packages:
   - autoconf
   - gperf
   - libyaml-devel
+  - gmp-devel
+  - z3-devel
+  - yices-devel
+  - yices-tools
 sources:
   - https://git.sr.ht/~macbook/gram
 tasks:
-  - install-diamond: |
-      wget http://files.latticesemi.com/Diamond/3.11/diamond_3_11-base_x64-396-4-x86_64-linux.rpm -P /tmp
-      wget http://files.latticesemi.com/Diamond/3.11.2/diamond_3_11-sp2_x64-446-3-x86_64-linux.rpm -P /tmp
-      sudo rpm -ivh /tmp/*.rpm
   - 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
+      pip list
+  - install-yosys: |
+      cd /tmp
+      git clone https://github.com/YosysHQ/yosys yosys
+      cd yosys
+      echo "Yosys Git hash: $(git rev-parse HEAD)"
+      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
+      echo "SymbiYosys Git hash: $(git rev-parse HEAD)"
+      sudo make install
+      rm -rf /tmp/SymbiYosys
   - install-icarus-verilog: |
       cd /tmp
-      git clone git://github.com/steveicarus/iverilog.git
+      git clone git://github.com/steveicarus/iverilog.git iverilog
       cd iverilog
+      echo "Icarus Verilog Git hash: $(git rev-parse HEAD)"
       autoconf
       ./configure
       make -j$(nproc)
       sudo make install
+      rm -rf /tmp/iverilog
   - install-gram: |
       cd ~/gram
       python setup.py install --user
   - run-tests: |
       cd ~/gram
       contrib/test
+shell: false