Changeset 796cea3 for configure

Timestamp:

Mar 8, 2017, 3:17:58 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

6363ad1

Parents:

64cb860

Message:

Added proper argument to rename cfa

File:

• configure (modified) (3 diffs)

configure

@@ -742 +742 @@
 enable_silent_rules
 enable_maintainer_mode
+with_cfa_name
 with_backend_compiler
 enable_target_release
@@ -1398 +1399 @@
   --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
   --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
+  --with-cfa-name=NAME     NAME too which cfa will be installed
   --with-backend-compiler=PROGRAM     PROGRAM that performs the final code compilation (must be gcc-compatible)
 
@@ -3024 +3026 @@
                 Use -program-transform-name='s/cfa$/[Desired name here]/' instead" "$LINENO" 5
 fi
+
+
+# Check whether --with-cfa-name was given.
+if test "${with_cfa_name+set}" = set; then :
+  withval=$with_cfa_name; cfa_name=$withval
+else
+  cfa_name="cfa"
+fi
+
 
 #Define the new name of the installed command