Changeset ad17ba6a for configure

Timestamp:

Jan 26, 2015, 12:08:14 PM (10 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

bdd516a

Parents:

643a2e1

Message:

generalize example Makefile

File:

• configure (modified) (3 diffs)

configure

@@ -5000 +5000 @@
 
 
-ac_config_files="$ac_config_files Makefile translator/Makefile driver/Makefile libcfa/Makefile"
+ac_config_files="$ac_config_files Makefile translator/Makefile driver/Makefile libcfa/Makefile translator/examples/Makefile"
 
 cat >confcache <<\_ACEOF
@@ -5741 +5741 @@
     "driver/Makefile") CONFIG_FILES="$CONFIG_FILES driver/Makefile" ;;
     "libcfa/Makefile") CONFIG_FILES="$CONFIG_FILES libcfa/Makefile" ;;
+    "translator/examples/Makefile") CONFIG_FILES="$CONFIG_FILES translator/examples/Makefile" ;;
 
   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
@@ -6471 +6472 @@
 
 
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: The CForAll translator is now configured for your system" >&5
-$as_echo "The CForAll translator is now configured for your system" >&6; }
+{ $as_echo "$as_me:${as_lineno-$LINENO}: result: The Cforall translator is now configured for your system" >&5
+$as_echo "The Cforall translator is now configured for your system" >&6; }