+ # Validate that we have the right version:
+ grep -q "Version $_PICOLISP_YEAR $_PICOLISP_MONTH $_PICOLISP_DAY" src64/version.l || {
+ echo "ERROR: Picolisp version needs to be bumped" 1>&2
+ grep Version src64/version.l 1>&2
+ exit 1
+ }
+
+ if [ $TERMUX_ARCH_BITS = 64 ]; then
+ cd $TERMUX_PKG_SRCDIR
+ if [ $TERMUX_ARCH = "aarch64" ]; then
+ export TERMUX_PKG_EXTRA_MAKE_ARGS=arm64.linux
+ elif [ $TERMUX_ARCH = "x86_64" ]; then
+ export TERMUX_PKG_EXTRA_MAKE_ARGS=x86-64.linux
+ else
+ termux_error_exit "Unsupported arch: $TERMUX_ARCH"
+ fi
+ TERMUX_PKG_SRCDIR=$TERMUX_PKG_SRCDIR/src64
+ else
+ TERMUX_PKG_SRCDIR=$TERMUX_PKG_SRCDIR/src
+ fi