This commit is contained in:
Connor Olding 2022-10-14 17:07:53 -07:00
parent 9623c952dc
commit 883cf1214e
2 changed files with 6 additions and 1 deletions

View file

@ -58,6 +58,9 @@ build() { : \
&& build cosmo-muon \
&& build cosmo-perl \
&& build cosmo-yices \
`# other stuff` \
&& { [ ! -e cosmo-mini ] || build cosmo-mini ;} \
&& { [ ! -e cosmo-python311 ] || build cosmo-python311 ;} \
\
&& bin=/cosmopolitan/bin \
&& yes_retrieve cosmo-base $bin/ape $bin/assimilate.com $bin/awk.com \
@ -65,6 +68,7 @@ build() { : \
&& dbg_retrieve cosmo-kuroko /bin/kuroko.com \
&& dbg_retrieve cosmo-muon /bin/muon.com \
&& dbg_retrieve cosmo-perl /bin/perl.com \
&& yes_retrieve cosmo-unbourne /bin/unbourne.com \
&& dbg_retrieve cosmo-yices /bin/kissat.com /bin/yices-sat.com \
/bin/yices-smt.com /bin/yices-smt2.com /bin/yices.com \
;

View file

@ -33,7 +33,8 @@ RUN --mount=type=cache,id=cosmo-build-all,target=/cosmopolitan/o,sharing=locked
&& ./makeit MODE="$mode" all \
\
# install the binaries somewhere so we can retrieve them without mounting cache: \
&& find o '(' -name '*.com' -o -name '*.com.dbg' ')' -exec \
#&& find o '(' -name '*.com' -o -name '*.com.dbg' ')' -exec \
&& find o -name '*.com' -exec \
install -m0755 -t /usr/local/bin {} \
+ \
;