1 files changed, 77 insertions, 0 deletions
diff --git a/Makefile.reconf_args b/Makefile.reconf_args
new file mode 100644
index 000000000..10d3c84b9
--- /dev/null
+++ b/Makefile.reconf_args
@@ -0,0 +1,77 @@
+# 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
+