From 3bc614c9d03697f8ed40cfd7fe78067f7580202b Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Fri, 14 Oct 2022 16:37:45 -0700 Subject: [PATCH] wip 2 --- build-all | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/build-all b/build-all index 09391ff..f6a8f17 100755 --- a/build-all +++ b/build-all @@ -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 \ ;