projects
/
gram.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove datavalid signal
[gram.git]
/
.build.yml
diff --git
a/.build.yml
b/.build.yml
index aa2637e01ccf8b538200dbad2747b90b06dd5be3..fb3a620967e2d28228949f824832c481cca3cc8b 100644
(file)
--- a/
.build.yml
+++ b/
.build.yml
@@
-25,6
+25,8
@@
packages:
- libyaml-devel
- gmp-devel
- z3-devel
- libyaml-devel
- gmp-devel
- z3-devel
+ - yices-devel
+ - yices-tools
sources:
- https://git.sr.ht/~macbook/gram
tasks:
sources:
- https://git.sr.ht/~macbook/gram
tasks:
@@
-47,16
+49,6
@@
tasks:
echo "SymbiYosys Git hash: $(git rev-parse HEAD)"
sudo make install
rm -rf /tmp/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
- install-icarus-verilog: |
cd /tmp
git clone git://github.com/steveicarus/iverilog.git iverilog