--- a/dev/make/make.sh	Thu Mar 07 20:05:00 2019 +0100
+++ b/dev/make/make.sh	Thu Mar 07 20:10:00 2019 +0100
@@ -15,15 +15,38 @@
 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 #
 
+: ${CHOST:=$(uname -m)-linux-musl}
+: ${CBUILD:=$(uname -m)-linux-musl}
+: ${CC:=gcc}
+: ${CFLAGS:=-O2}
+
 source ./make.info
 
 set -ex
 
+if [ "${GUILE:-yes}" = "no" ]; then
+	with_nls="--without-guile"
+else
+	with_nls="--with-guile"
+fi
+if [ "${NLS:-yes}" = "no" ]; then
+	with_nls="--disable-nls"
+else
+	with_nls="--enable-nls"
+fi
+
 rm -rf $PKGNAME-$PKGVERSION
 tar xvaf $PKGNAME-$PKGVERSION.tar.gz
 pushd $PKGNAME-$PKGVERSION
 
-./configure --prefix=/usr
+CC="$CC" \
+CFLAGS="$CFLAGS" \
+./configure \
+	--build=${CBUILD} \
+	--host=${CHOST} \
+	--prefix=/usr \
+	${with_guile} \
+	${with_nls}
 make
 make install DESTDIR=$DESTDIR