setup.py: Removed deps as per bug #1086#c7.

[gram.git] / .build.yml

diff --git a/.build.yml b/.build.yml
index aa2637e01ccf8b538200dbad2747b90b06dd5be3..55c6349c345f23e8f472a5614a2a1cd48e908ea6 100644 (file)
--- a/.build.yml
+++ b/.build.yml
@@ -25,52 +25,23 @@ packages:
   - libyaml-devel
   - gmp-devel
   - z3-devel
+  - yices-devel
+  - yices-tools
 sources:
   - https://git.sr.ht/~macbook/gram
 tasks:
   - install-python-packages: |
-      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 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 yowasp-yosys --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-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
-      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: |
+      alias yosys=yowasp-yosys
       cd ~/gram
+      export YOSYS=yowasp-yosys SBY=yowasp-sby SMTBMC=yowasp-yosys-smtbmc NMIGEN_USE_YOSYS=builtin
       contrib/test
+  - compile-libgram: |
+      cd ~/gram/libgram
+      CFLAGS="-DGRAM_RW_FUNC" make TRIPLE=""
 shell: false