diff --git a/build-all b/build-all index 68ff800..e6e273d 100755 --- a/build-all +++ b/build-all @@ -16,31 +16,30 @@ yes_retrieve() { : \ && [ $ok = 1 ] \ ;} -dbg_retrieve() { yes_retrieve "$1" "$2" && yes_retrieve "$1" "$2.dbg" ;} +dbg_retrieve() { : \ + && local o=0 container="${1?missing argument}" && shift \ + && for f in "$@" \ + ;do [ $o = 0 ] && o=1 && set -- "$f" "$f.dbg" || set -- "$f" "$f.dbg" "$@" \ + ;done \ + && yes_retrieve "$container" "$@" \ + ;} : \ && me="$(readlink -f "$0")" && cd "${me%/*}" && { [ -d out ] || mkdir out ;} \ \ - && 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 \ + && 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 \ \ - && yes_retrieve cosmo /cosmopolitan/bin/ape \ - && yes_retrieve cosmo /cosmopolitan/bin/awk.com \ - && yes_retrieve cosmo /cosmopolitan/bin/gzip.com \ - && yes_retrieve cosmo /cosmopolitan/bin/make.com \ - && yes_retrieve cosmo /cosmopolitan/bin/sed.com \ - && yes_retrieve cosmo /cosmopolitan/bin/unzip.com \ - && yes_retrieve cosmo /cosmopolitan/bin/zip.com \ + && bin=/cosmopolitan/bin \ + && yes_retrieve cosmo $bin/ape $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 \ - && dbg_retrieve cosmo-yices /bin/yices-sat.com \ - && dbg_retrieve cosmo-yices /bin/yices-smt.com \ - && dbg_retrieve cosmo-yices /bin/yices-smt2.com \ - && dbg_retrieve cosmo-yices /bin/yices.com \ + && dbg_retrieve cosmo-yices /bin/kissat.com /bin/yices-sat.com \ + /bin/yices-smt.com /bin/yices-smt2.com /bin/yices.com \ ;