+ cd $TERMUX_PKG_SRCDIR/
+
+ if [ $TERMUX_ARCH_BITS = "64" ]; then
+ $TERMUX_HOST_PLATFORM-as -o ${TERMUX_PKG_EXTRA_MAKE_ARGS}.base.o ${TERMUX_PKG_EXTRA_MAKE_ARGS}.base.s
+ $TERMUX_HOST_PLATFORM-as -o ${TERMUX_PKG_EXTRA_MAKE_ARGS}.ext.o ${TERMUX_PKG_EXTRA_MAKE_ARGS}.ext.s
+ $TERMUX_HOST_PLATFORM-as -o ${TERMUX_PKG_EXTRA_MAKE_ARGS}.ht.o ${TERMUX_PKG_EXTRA_MAKE_ARGS}.ht.s
+
+ # Use -fuse-ld=bfd to avoid using the gold linker (which Termux
+ # patches NDK to use by default) as it causes (tzo), the time
+ # zone offset, to always be 0 (and probably other problems):
+ $CC -o ../bin/picolisp ${TERMUX_PKG_EXTRA_MAKE_ARGS}.base.o \
+ -Wl,--no-as-needed -rdynamic -lc -lm -ldl -pie -fuse-ld=bfd
+ chmod +x ../bin/picolisp
+ $CC -o ../lib/ext -shared -rdynamic -fuse-ld=bfd ${TERMUX_PKG_EXTRA_MAKE_ARGS}.ext.o
+ $CC -o ../lib/ht -shared -rdynamic -fuse-ld=bfd ${TERMUX_PKG_EXTRA_MAKE_ARGS}.ht.o
+ fi
+
+ mkdir -p $TERMUX_PREFIX/share/man/man1