Changeset df8b87cd for configure

Timestamp:

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

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, 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 (modified) (5 diffs)

configure

@@ -637 +637 @@
 LIBOBJS
 CFA_BACKEND_CC
+DEMANGLER
+LIBDEMANGLE
 WITH_LIBTCMALLOC_FALSE
 WITH_LIBTCMALLOC_TRUE
@@ -797 +799 @@
 with_target_hosts
 enable_gprofiler
+enable_demangler
 enable_dependency_tracking
 enable_shared
@@ -1457 +1460 @@
   --disable-silent-rules  verbose build output (undo: "make V=0")
   --enable-gprofiler     whether or not to enable gprofiler tools (if available)
+  --enable-demangler     whether or not to build the demangler (executable and library)
   --enable-dependency-tracking
                           do not reject slow dependency extractors
@@ -3398 +3402 @@
 else
   enable_gprofiler=yes
+fi
+
+
+# Check whether --enable-demangler was given.
+if test "${enable_demangler+set}" = set; then :
+  enableval=$enable_demangler; enable_demangler=$enableval
+else
+  enable_demangler=yes
 fi
 
@@ -16780 +16792 @@
 
 
+# conditionnally build the demangler
+if test "x$enable_demangler" == xyes; then
+        LIBDEMANGLE="libdemangle.a"
+        DEMANGLER="demangler"
+else
+        LIBDEMANGLE=""
+        DEMANGLER=""
+fi
+
+
+
 # Checks for header files.
 for ac_header in libintl.h malloc.h unistd.h