cosmo: add awk and sed

This commit is contained in:
Connor Olding 2022-09-26 19:43:44 -07:00
parent cbe8bf03e0
commit 29c29fd5d2
2 changed files with 13 additions and 0 deletions

View File

@ -55,6 +55,13 @@ dbg_retrieve() \
&& 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 \
&& dbg_retrieve cosmo-kuroko /bin/kuroko.com \
&& dbg_retrieve cosmo-perl /bin/perl.com \
&& dbg_retrieve cosmo-yices /bin/kissat.com \

View File

@ -39,6 +39,8 @@ RUN : \
&& sed -i '/COSMOPOLITAN_OBJECTS =/a\\tTOOL_ARGS\t\t\\' Makefile \
# include nsync_cv_signal and nsync_cv_wait_with_deadline in cosmopolitan.a \
&& sed -i '/THIRD_PARTY_NSYNC_MALLOC/i\\tTHIRD_PARTY_NSYNC_MEM\t\t\\' Makefile \
# awk's pledge isn't working for me for whatever reason \
&& sed -i '/pledge.*{/,/}/d' third_party/awk/main.c \
# create a mapping from flavor to mode (possibly an empty string) \
&& { [ "$COSMO_FLAVOR" != def ] && mode="$COSMO_FLAVOR" || mode=; } \
&& printf '%s="%s"\n' >env \
@ -89,6 +91,8 @@ RUN --mount=type=tmpfs,target=/tmp : \
"o/$mode/tool/build/zipobj.com" \
# these are essential too! \
&& ./make -j2 MODE="$mode" "$@" \
"o/$mode/third_party/awk/awk.com" \
"o/$mode/third_party/sed/sed.com" \
"o/$mode/third_party/unzip/unzip.com" \
"o/$mode/third_party/zip/zip.com" \
"o/$mode/tool/build/assimilate.com" \
@ -141,7 +145,9 @@ RUN --mount=type=tmpfs,target=/tmp : \
# discover .com files by uncommenting this command: \
#&& find o -name '*.com' ! -type d -exec printf '%s\n' cp -t /tmp/bin {} + | sort && exit 1 \
&& cp -t /tmp/bin \
"o/$mode/third_party/awk/awk.com" \
"o/$mode/third_party/make/make.com" \
"o/$mode/third_party/sed/sed.com" \
"o/$mode/third_party/unzip/unzip.com" \
"o/$mode/third_party/zip/zip.com" \
"o/$mode/tool/build/ar.com" \