4 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
6 # usage: build-type profile [ overrides... ]
8 # Returns a build string for the given profile and overrides.
9 # For example, "build-type debug noassertions" returns the canonical
10 # build string for a debug build with assertions turned off.
12 # The default build directory for CVC4 is then (assuming a standard
15 # builds/`config/config.guess`/`config/build-type debug`
17 # This script is used both in CVC4's configure script and in the
18 # top-level Makefile when you build another profile than the
19 # "current" build (to see if there already was a build of that type).
21 # The overrides are as follows:
33 # Also you can specify "cln" or "gmp". If "cln", the build dir
34 # contains the string "cln". (gmp is considered the default.)
38 echo "usage: build-type profile [ overrides... ]" >&2
45 while [ $# -gt 0 ]; do
49 no
*) eval `expr "$1" : 'no\(.*\)'`=0 ;;
56 for arg
in cln staticbinary optimized proof debugsymbols statistics replay assertions tracing muzzle coverage profiling
; do
57 if eval [ -n '"${'$arg'+set}"' ]; then
58 if eval [ '"${'$arg'}"' -eq 0 ]; then
59 build_type_suffix
=$build_type_suffix-no$arg
61 build_type_suffix
=$build_type_suffix-$arg
66 echo $build_type$build_type_suffix