From 255cee09b71255051c2b40eae0c88bffce1f6f32 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 20 Apr 2013 07:54:52 +0000 Subject: Big merge of the newregalloc-int64 branch. Lots of changes in two directions: 1- new register allocator (+ live range splitting, spilling&reloading, etc) based on a posteriori validation using the Rideau-Leroy algorithm 2- support for 64-bit integer arithmetic (type "long long"). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2200 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- configure | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'configure') diff --git a/configure b/configure index 9c3d6a7..5a1b4ba 100755 --- a/configure +++ b/configure @@ -61,7 +61,7 @@ done # Per-target configuration cchecklink=false -has_runtime_lib=false +has_runtime_lib=true case "$target" in powerpc-linux|ppc-linux|powerpc-eabi|ppc-eabi) @@ -218,8 +218,8 @@ CLINKER=gcc # Math library. Set to empty under MacOS X LIBMATH=-lm -# Obsolete; do not change -HAS_RUNTIME_LIB=false +# Do not change +HAS_RUNTIME_LIB=true EOF fi -- cgit v1.2.3