--- asdl/config.sh.orig	2019-10-27 12:44:07 UTC
+++ asdl/config.sh
@@ -40,4 +40,10 @@ fi
 SMLNJ_CMD=$INSTALLDIR/bin/sml
 export SMLNJ_CMD
 
+# "convert" gmake -> bmake
+find . -name Makefile.in | \
+xargs sed -E -i "" \
+	-e 's/^include[[:space:]]+(.+)/.include "\1"/' \
+	-e 's@\$\(patsubst %,%/([^,]+),\$\(([^)]+)\)\)@${\2:C/(.+)\/\\1\\\/\1/}@' \
+	-e 's@\$\(patsubst %([^,]+),%([^,]+),\$\(([^)]+)\)\)@${\3:C/\1/\2/}@'
 ./configure $SIZE_OPT --prefix=$INSTALLDIR