This commit is contained in:
Connor Olding 2022-10-14 16:37:45 -07:00
parent 8356e07b42
commit 3bc614c9d0

View File

@ -60,4 +60,11 @@ build() { : \
&& build cosmo-yices \
\
&& bin=/cosmopolitan/bin \
&& yes_retrieve cosmo-base $bin/ape $bin/assimilate.com $bin/awk.com \
$bin/gzip.com $bin/make.com $bin/sed.com $bin/unzip.com $bin/zip.com \
&& dbg_retrieve cosmo-kuroko /bin/kuroko.com \
&& dbg_retrieve cosmo-muon /bin/muon.com \
&& dbg_retrieve cosmo-perl /bin/perl.com \
&& dbg_retrieve cosmo-yices /bin/kissat.com /bin/yices-sat.com \
/bin/yices-smt.com /bin/yices-smt2.com /bin/yices.com \
;