From 70a711e16dc2c0b9fc764ef3775257544c669eba Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Thu, 5 Mar 2015 20:01:30 +0000
Subject: [PATCH] put back --enable-libc as an option, needed for cinderella
---
configure | 8 +++++++-
configure.in | 2 +-
2 files changed, 8 insertions(+), 2 deletions(-)
diff --git a/configure b/configure
index bb9defa..48a7aa0 100755
--- a/configure
+++ b/configure
@@ -644,6 +644,7 @@ enable_option_checking
enable_debugging
enable_cgc
enable_inferfn
+enable_libc
'
ac_precious_vars='build_alias
host_alias
@@ -1265,6 +1266,7 @@ Optional Features:
--enable-debugging enable -g when compiling
--enable-cgc enable -DCGC when compiling for CGC binaries
--enable-inferfn enable -DCGC when compiling for CGC binaries
+ --enable-libc enable $1 for building
Some influential environment variables:
CC C compiler command
@@ -2552,7 +2554,11 @@ if test "${enable_inferfn+set}" = set; then :
fi
#AC_ARG_ENABLE([example], [ --enable-debugging enable -g when compiling])
-#AC_ARG_ENABLE([libc], [ --enable-libc enable $1 for building ])
+# Check whether --enable-libc was given.
+if test "${enable_libc+set}" = set; then :
+ enableval=$enable_libc;
+fi
+
OPTIMIZE="-O3"
if test "$enable_debugging" = yes; then
diff --git a/configure.in b/configure.in
index f4781fc..bd8b5f0 100644
--- a/configure.in
+++ b/configure.in
@@ -8,7 +8,7 @@ AC_ARG_ENABLE([debugging], [ --enable-debugging ena
AC_ARG_ENABLE([cgc], [ --enable-cgc enable -DCGC when compiling for CGC binaries])
AC_ARG_ENABLE([inferfn], [ --enable-inferfn enable -DCGC when compiling for CGC binaries])
#AC_ARG_ENABLE([example], [ --enable-debugging enable -g when compiling])
-#AC_ARG_ENABLE([libc], [ --enable-libc enable $1 for building ])
+AC_ARG_ENABLE([libc], [ --enable-libc enable $1 for building ])
OPTIMIZE="-O3"
if test "$enable_debugging" = yes; then
--
GitLab