Index: configure
===================================================================
--- configure	(revision df47e2fe44d197c175959e907b74622b64a8430e)
+++ configure	(revision be8bd880ca4d469ed4e8157a072e60913e31ae6c)
@@ -742,4 +742,5 @@
 enable_silent_rules
 enable_maintainer_mode
+with_cfa_name
 with_backend_compiler
 enable_target_release
@@ -1398,4 +1399,5 @@
   --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,4 +3026,13 @@
 		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
