diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 00:02:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 00:02:12 +0000 |
commit | 73fd355fd1a9f6cacfc3170d29e29fccc94ab539 (patch) | |
tree | e88c1a48887ec1053d7fff40a9cb6ba5b8501e87 /Makefile.reconf_args | |
parent | 426b8722e6e32f7fab46769e4d71184bf510fd0e (diff) |
support nonstandard, unconfigured builds (e.g., "./configure debug" followed by "make production ASSERTIONS=1")
Diffstat (limited to 'Makefile.reconf_args')
-rw-r--r-- | Makefile.reconf_args | 77 |
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 + |