Changeset df8b87c for configure.ac

Timestamp:

Aug 1, 2019, 5:56:39 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

7e0017f5

Parents:

0d92e5c

Message:

Demangler can now be disable to avoid compiling it (enabled by default)

File:

• configure.ac (modified) (2 diffs)

configure.ac

@@ -133 +133 @@
         enable_gprofiler=$enableval, enable_gprofiler=yes)
 
+AC_ARG_ENABLE(demangler,
+        [  --enable-demangler     whether or not to build the demangler (executable and library)],
+        enable_demangler=$enableval, enable_demangler=yes)
+
 AC_SUBST(TARGET_HOSTS, ${target_hosts})
 
@@ -205 +209 @@
 AM_CONDITIONAL([WITH_LIBTCMALLOC], [test "x$enable_gprofiler" = "xyes" -a "$HAVE_LIBTCMALLOC" -eq 1])
 
+# conditionnally build the demangler
+if test "x$enable_demangler" == xyes; then
+        LIBDEMANGLE="libdemangle.a"
+        DEMANGLER="demangler"
+else
+        LIBDEMANGLE=""
+        DEMANGLER=""
+fi
+AC_SUBST([LIBDEMANGLE])
+AC_SUBST([DEMANGLER])
+
 # Checks for header files.
 AC_CHECK_HEADERS([libintl.h malloc.h unistd.h], [], [echo "Error: Missing required header"; exit 1])