From 496fa439a8b86cb0bcea592bdf68c39c16205ad0 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Tue, 3 Nov 2009 23:05:55 -0800 Subject: [PATCH] Allow --enable-native-code to override default code generator. --- src/etc/make-native.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/etc/make-native.sh b/src/etc/make-native.sh index 405baf86f..61afae725 100755 --- a/src/etc/make-native.sh +++ b/src/etc/make-native.sh @@ -27,11 +27,15 @@ set -e . etc/functions.sh FASTP=no +NATIVE_CODE= for ARG in "${@}"; do case ${ARG} in --help|--help=*|--version) FASTP=yes ;; + --enable-native-code=*) + NATIVE_CODE=${ARG} + ;; esac done @@ -43,7 +47,7 @@ fi export MIT_SCHEME_EXE run_cmd ./Setup.sh -run_configure --prefix=`pwd`/boot-root +run_configure --prefix=`pwd`/boot-root ${NATIVE_CODE} run_cmd etc/compile-boot-compiler.sh mit-scheme-c run_cmd_in_dir compiler run_make compile-liarc-bundle run_cmd etc/native-prepare.sh "${MIT_SCHEME_EXE}" -- 2.25.1