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

[gram.git] / .build.yml

diff --git a/.build.yml b/.build.yml
index 286fec67d321e6a7582df4b920159f93133e0313..55c6349c345f23e8f472a5614a2a1cd48e908ea6 100644 (file)
--- a/.build.yml
+++ b/.build.yml
@@ -23,29 +23,25 @@ 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
-  - install-icarus-verilog: |
-      cd /tmp
-      git clone git://github.com/steveicarus/iverilog.git
-      cd iverilog
-      autoconf
-      ./configure
-      make -j$(nproc)
-      sudo make install
+      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-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
-  - run-simulations: |
-      cd ~/gram
-      contrib/simulation
+  - compile-libgram: |
+      cd ~/gram/libgram
+      CFLAGS="-DGRAM_RW_FUNC" make TRIPLE=""
+shell: false