remove the last vestiges of support for "make build-profile" without first configurin...

diff --git a/Makefile.am b/Makefile.am
index bade9cd15dfab67e5b05d09d522faf67b527b4f8..d7d994d2461b8b64f7e9e68daf76f5e9c7d273c2 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -5,18 +5,6 @@ ACLOCAL_AMFLAGS = -I config
 
 SUBDIRS = src test doc contrib
 
-@mk_include@ @top_srcdir@/Makefile.reconf_args
-
-.PHONY: production debug default competition
-production debug default competition:
-       cd @top_srcdir@; \
-       dir="builds/`config/config.guess`/`config/build-type $@ $(BTARGS)`"; \
-       if test -e "$$dir"; then \
-               cd "$$dir" && $(MAKE); \
-       else \
-               ./configure --with-build=$@ $(CONFARGS) && $(MAKE); \
-       fi
-
 .PHONY: regress0 regress1 regress2 regress3
 regress0 regress1 regress2 regress3:
        (cd test && $(MAKE) $(AM_MAKEFLAGS) $@) || exit 1

diff --git a/Makefile.reconf_args b/Makefile.reconf_args
deleted file mode 100644 (file)
index 516ae0a..0000000
--- a/Makefile.reconf_args
+++ /dev/null
@@ -1,78 +0,0 @@
-# -*-makefile-*-
-# This makefile snippet maps make-time arguments to configure and
-# build-type arguments
-#
-# Morgan Deters <mdeters@cs.nyu.edu> 2009 for CVC4
-BTARGS =
-CONFARGS =
-
-ifeq ($(OPTIMIZE),0)
-  BTARGS += noopt
-  CONFARGS += --disable-optimized
-else
-ifeq ($(OPTIMIZE),1)
-  BTARGS += opt
-  CONFARGS += --enable-optimized
-endif
-endif
-
-ifeq ($(DEBUG_SYMBOLS),0)
-  BTARGS += nodsy
-  CONFARGS += --disable-debug-symbols
-else
-ifeq ($(DEBUG_SYMBOLS),1)
-  BTARGS += dsy
-  CONFARGS += --enable-debug-symbols
-endif
-endif
-
-ifeq ($(ASSERTIONS),0)
-  BTARGS += noass
-  CONFARGS += --disable-assertions
-else
-ifeq ($(ASSERTIONS),1)
-  BTARGS += ass
-  CONFARGS += --enable-assertions
-endif
-endif
-
-ifeq ($(TRACING),0)
-  BTARGS += notrc
-  CONFARGS += --disable-tracing
-else
-ifeq ($(TRACING),1)
-  BTARGS += trc
-  CONFARGS += --enable-tracing
-endif
-endif
-
-ifeq ($(MUZZLE),0)
-  BTARGS += nomzl
-  CONFARGS += --disable-muzzle
-else
-ifeq ($(MUZZLE),1)
-  BTARGS += mzl
-  CONFARGS += --enable-muzzle
-endif
-endif
-
-ifeq ($(COVERAGE),0)
-  BTARGS += nocvg
-  CONFARGS += --disable-coverage
-else
-ifeq ($(COVERAGE),1)
-  BTARGS += cvg
-  CONFARGS += --enable-coverage
-endif
-endif
-
-ifeq ($(PROFILING),0)
-  BTARGS += noprf
-  CONFARGS += --disable-profiling
-else
-ifeq ($(PROFILING),1)
-  BTARGS += prf
-  CONFARGS += --enable-profiling
-endif
-endif
-