diff --git a/configure b/configure
index bb9defa7bfb5329441912541924e0c3fcc493fff..48a7aa07c59d40a8e5838aef6f45ea0e295ffffd 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 f4781fcec907019ac8d077ee3a82d4b28c74a2c6..bd8b5f094d59d5ca09d06a76b8faaefe750113b9 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