diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/configure.sh b/configure.sh index a4a8daa5..1b5bd272 100755 --- a/configure.sh +++ b/configure.sh @@ -37,19 +37,8 @@ read DEFAULT_C_COMPILER if [ -z "$DEFAULT_C_COMPILER" ]; then DEFAULT_C_COMPILER="cc"; fi DEFAULT_C_COMPILER="${DEFAULT_C_COMPILER/#\~/$HOME}" -printf '\033[1mDo you want to build the compiler with Link Time Optimization (LTO)?\033[m\n\033[2m(This makes building the Tomo compiler slower, but makes running Tomo programs faster)\033[m\n\033[1m[y/N]\033[m ' -read USE_LTO -if [ "$USE_LTO" = "y" -o "$USE_LTO" = "Y" ]; then - if $DEFAULT_C_COMPILER -v 2>&1 | grep -q "gcc version"; then - LTO="-flto=auto -fno-fat-lto-objects -Wl,-flto"; - elif $DEFAULT_C_COMPILER -v 2>&1 | grep -q "clang version"; then - LTO="-flto=thin"; - fi -fi - cat <<END >config.mk PREFIX=$PREFIX DEFAULT_C_COMPILER=$DEFAULT_C_COMPILER SUDO=$SUDO -LTO=$LTO END |