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

add cosmo-muon to build script

Browse source
This commit is contained in:
Connor Olding 2022-10-04 04:55:39 -07:00
parent 9cf3d3eed9
commit 8653d6dd54
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
build-all
View file

@ -52,6 +52,7 @@ 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-muon cosmo-muon \
&& podman build -t cosmo-perl cosmo-perl \
&& podman build -t cosmo-yices cosmo-yices \
\
@ -63,6 +64,7 @@ dbg_retrieve() \
&& yes_retrieve cosmo /cosmopolitan/bin/unzip.com \
&& yes_retrieve cosmo /cosmopolitan/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 \
&& dbg_retrieve cosmo-yices /bin/yices-sat.com \