Index: Makefile.am
===================================================================
--- Makefile.am	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ Makefile.am	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -16,5 +16,4 @@
 
 AUTOMAKE_OPTIONS = foreign    # do not require all the GNU file names
-BACKEND_CC = @BACKEND_CC@     # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command
 
 MAINTAINERCLEANFILES = lib/* bin/* tests/.deps/* tests/.out/*
Index: Makefile.in
===================================================================
--- Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -252,5 +252,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@     # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CC@
Index: benchmark/Makefile.in
===================================================================
--- benchmark/Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ benchmark/Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -188,5 +188,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CC@
Index: configure
===================================================================
--- configure	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ configure	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -626,4 +626,5 @@
 LTLIBOBJS
 LIBOBJS
+CFA_BACKEND_CC
 ALLOCA
 EGREP
@@ -687,6 +688,4 @@
 CFA_INCDIR
 CFA_PREFIX
-CFA_BACKEND_CC
-BACKEND_CC
 DOendif
 DOifskipcompile
@@ -763,5 +762,4 @@
 enable_silent_rules
 with_cfa_name
-with_backend_compiler
 with_target_hosts
 enable_dependency_tracking
@@ -1423,5 +1421,4 @@
   --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)
   --with-target-hosts=HOSTS     HOSTS comma seperated list of hosts to build for, format ARCH:debug|nodebug|nolib
 
@@ -3166,69 +3163,4 @@
 
 #==============================================================================
-# backend compiler implementation
-
-# Check whether --with-backend-compiler was given.
-if test "${with_backend_compiler+set}" = set; then :
-  withval=$with_backend_compiler; backendcompiler=$withval
-else
-  backendcompiler=""
-fi
-
-if test "x$backendcompiler" != "x"; then
-       BACKEND_CC=${backendcompiler}
-else
-       # Extract the first word of "gcc", so it can be a program name with args.
-set dummy gcc; ac_word=$2
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
-$as_echo_n "checking for $ac_word... " >&6; }
-if ${ac_cv_path_BACKEND_CC+:} false; then :
-  $as_echo_n "(cached) " >&6
-else
-  case $BACKEND_CC in
-  [\\/]* | ?:[\\/]*)
-  ac_cv_path_BACKEND_CC="$BACKEND_CC" # Let the user override the test with a path.
-  ;;
-  *)
-  as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
-for as_dir in $PATH
-do
-  IFS=$as_save_IFS
-  test -z "$as_dir" && as_dir=.
-    for ac_exec_ext in '' $ac_executable_extensions; do
-  if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
-    ac_cv_path_BACKEND_CC="$as_dir/$ac_word$ac_exec_ext"
-    $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
-    break 2
-  fi
-done
-  done
-IFS=$as_save_IFS
-
-  ;;
-esac
-fi
-BACKEND_CC=$ac_cv_path_BACKEND_CC
-if test -n "$BACKEND_CC"; then
-  { $as_echo "$as_me:${as_lineno-$LINENO}: result: $BACKEND_CC" >&5
-$as_echo "$BACKEND_CC" >&6; }
-else
-  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
-$as_echo "no" >&6; }
-fi
-
-       # check gcc installed
-       if test "x$BACKEND_CC" = "x"; then
-               as_fn_error $? "some version of gcc is needed. Get it at ftp://ftp.gnu.org" "$LINENO" 5
-               exit 1
-       fi
-fi
-
-cat >>confdefs.h <<_ACEOF
-#define CFA_BACKEND_CC "${BACKEND_CC}"
-_ACEOF
-
-
-
-#==============================================================================
 # Installation paths
 
@@ -6381,4 +6313,13 @@
 fi
 done
+
+
+#==============================================================================
+# backend compiler implementation
+
+cat >>confdefs.h <<_ACEOF
+#define CFA_BACKEND_CC "${CC}"
+_ACEOF
+
 
 
Index: configure.ac
===================================================================
--- configure.ac	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ configure.ac	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -55,21 +55,4 @@
 AC_SUBST([DOendif])
 AM_SUBST_NOTMAKE([DOendif])
-
-#==============================================================================
-# backend compiler implementation
-AC_ARG_WITH(backend-compiler,
-       [  --with-backend-compiler=PROGRAM     PROGRAM that performs the final code compilation (must be gcc-compatible) ],
-       backendcompiler=$withval, backendcompiler="")
-if test "x$backendcompiler" != "x"; then
-       BACKEND_CC=${backendcompiler}
-else
-       AC_PATH_PROG(BACKEND_CC, gcc, [])       # check gcc installed
-       if test "x$BACKEND_CC" = "x"; then
-               AC_MSG_ERROR(some version of gcc is needed. Get it at ftp://ftp.gnu.org)
-               exit 1
-       fi
-fi
-AC_DEFINE_UNQUOTED(CFA_BACKEND_CC, "${BACKEND_CC}", [Location of include files.])
-AC_SUBST(CFA_BACKEND_CC)
 
 #==============================================================================
@@ -228,4 +211,9 @@
 
 #==============================================================================
+# backend compiler implementation
+AC_DEFINE_UNQUOTED(CFA_BACKEND_CC, "${CC}", [Backend compiler to use.])
+AC_SUBST(CFA_BACKEND_CC)
+
+#==============================================================================
 AC_CONFIG_FILES([
 	Makefile
Index: driver/Makefile.in
===================================================================
--- driver/Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ driver/Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -181,5 +181,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CC@
Index: libcfa/configure
===================================================================
--- libcfa/configure	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ libcfa/configure	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -2970,4 +2970,7 @@
 		CONFIG_CFAFLAGS="-nodebug"
 		CONFIG_BUILDLIB="no"
+	;;
+	*)
+	as_fn_error $? "'Invalid value $CONFIGURATION for \$CONFIGURATION'" "$LINENO" 5
 	;;
 esac
Index: libcfa/src/Makefile.in
===================================================================
--- libcfa/src/Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ libcfa/src/Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -922,9 +922,5 @@
 $(libobjs) : @CFACC@ @CFACPP@ prelude.cfa
 
-include $(libdeps)
-
-$(libdeps):
-	@mkdir -p $(dir $@)
-	@echo '#dummy' > $@
+-include $(libdeps)
 
 prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
Index: src/Makefile.in
===================================================================
--- src/Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ src/Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -395,5 +395,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CC@
Index: tests/Makefile.in
===================================================================
--- tests/Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ tests/Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -176,5 +176,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CFACC@
Index: tests/preempt_longrun/Makefile.in
===================================================================
--- tests/preempt_longrun/Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ tests/preempt_longrun/Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -337,5 +337,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CFACC@
Index: tools/Makefile.am
===================================================================
--- tools/Makefile.am	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ tools/Makefile.am	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -17,5 +17,4 @@
 AUTOMAKE_OPTIONS = foreign    # do not require all the GNU file names
 
-CC = @BACKEND_CC@
 AM_CFLAGS = -Wall -Wextra -O2 -g
 
Index: tools/Makefile.in
===================================================================
--- tools/Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ tools/Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -186,7 +186,6 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
-CC = @BACKEND_CC@
+CC = @CC@
 CCAS = @CCAS@
 CCASDEPMODE = @CCASDEPMODE@
Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision 076512189d22e106ca8cc3e7a0a6267025f6c9fa)
+++ tools/prettyprinter/Makefile.in	(revision 95d0a5db33a507584580dc37674209d5be2faa98)
@@ -210,5 +210,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CC@