Remove datavalid signal

[gram.git] / .build.yml

diff --git a/.build.yml b/.build.yml
index 3c88c347821e9fc5679e0df1630e5b8e5c47f521..fb3a620967e2d28228949f824832c481cca3cc8b 100644 (file)
--- a/.build.yml
+++ b/.build.yml
@@ -24,6 +24,9 @@ packages:
   - gperf
   - libyaml-devel
   - gmp-devel
+  - z3-devel
+  - yices-devel
+  - yices-tools
 sources:
   - https://git.sr.ht/~macbook/gram
 tasks:
@@ -46,25 +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-z3: |
-      git clone https://github.com/Z3Prover/z3.git z3
-      cd z3
-      echo "z3 Git hash: $(git rev-parse HEAD)"
-      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 iverilog
@@ -81,3 +65,4 @@ tasks:
   - run-tests: |
       cd ~/gram
       contrib/test
+shell: false