From 883cf1214eb1d980c14f0d22adb025f6cd5758ec Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Fri, 14 Oct 2022 17:07:53 -0700 Subject: [PATCH] tweaks --- build-all | 4 ++++ cosmo-all/Dockerfile | 3 ++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/build-all b/build-all index cdb296f..a541f70 100755 --- a/build-all +++ b/build-all @@ -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 \ ; diff --git a/cosmo-all/Dockerfile b/cosmo-all/Dockerfile index cbc2077..b2436db 100644 --- a/cosmo-all/Dockerfile +++ b/cosmo-all/Dockerfile @@ -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 {} \ + \ ;