notwa/stargazing
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

add cosmo-yices to build script

Browse source
This commit is contained in:
Connor Olding 2022-09-23 14:15:54 -07:00
parent 2280df8fc0
commit 3c6945de9c
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
build-all
View file

@ -45,6 +45,12 @@ dbg_retrieve() {
&& podman build -t notwa-util notwa-util \
&& podman build -t cosmo cosmo \
&& podman build -t cosmo-kuroko cosmo-kuroko \
&& podman build -t cosmo-yices cosmo-yices \
\
&& dbg_retrieve cosmo-kuroko /bin/kuroko.com \
&& dbg_retrieve cosmo-yices /bin/kissat.com \
&& dbg_retrieve cosmo-yices /bin/yices-sat.com \
&& dbg_retrieve cosmo-yices /bin/yices-smt.com \
&& dbg_retrieve cosmo-yices /bin/yices-smt2.com \
&& dbg_retrieve cosmo-yices /bin/yices.com \
;