diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 10:57:28 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 10:57:28 -0500 |
commit | 371fa29e5742a58581481f3d7d94a8116a814447 (patch) | |
tree | adc886ca3a8f464ad24056a2af5cbf09dc8ae453 /config | |
parent | 8cde77abf105c7c712b72da6e25f695a687559a1 (diff) | |
parent | 36e60903069f0faf3d3d4caf4f2ca6ff384896c9 (diff) |
Merge branch '1.3.x'
Diffstat (limited to 'config')
-rwxr-xr-x | config/build-type | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/config/build-type b/config/build-type index f982b0020..f5ea50bde 100755 --- a/config/build-type +++ b/config/build-type @@ -30,8 +30,8 @@ # coverage # profiling # -# Also you can specify "cln" or "gmp". If "cln", the build dir -# contains the string "cln". (gmp is considered the default.) +# Also you can specify "cln" or "gmp". If "gmp", the build dir +# contains the string "gmp". (cln is considered the default.) # # Also for glpk. # @@ -46,8 +46,8 @@ shift while [ $# -gt 0 ]; do case "$1" in - cln) cln=1 ;; - gmp) ;; + cln) ;; + gmp) gmp=1 ;; no*) eval `expr "$1" : 'no\(.*\)'`=0 ;; *) eval $1=1 ;; esac @@ -55,7 +55,7 @@ while [ $# -gt 0 ]; do done build_type_suffix= -for arg in cln glpk staticbinary optimized proof debugsymbols statistics replay assertions tracing muzzle coverage profiling; do +for arg in gmp glpk staticbinary optimized proof debugsymbols statistics replay assertions tracing muzzle coverage profiling; do if eval [ -n '"${'$arg'+set}"' ]; then if eval [ '"${'$arg'}"' -eq 0 ]; then build_type_suffix=$build_type_suffix-no$arg |