diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-06 00:09:25 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-06 00:09:25 +0000 |
| commit | 6cb3de0e1370deaf43eeb1fb84dfe1f3a625483f (patch) | |
| tree | 164722931658d8fa0871e512fcdf981da0c1d52c /config | |
| parent | db264e836f2878a3cf09a54f1c577ce516fb1bc5 (diff) | |
don't build language bindings unless expressly requested with --enable-language-bindings
Diffstat (limited to 'config')
| -rw-r--r-- | config/bindings.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/bindings.m4 b/config/bindings.m4 index e328810fb..c478b6da3 100644 --- a/config/bindings.m4 +++ b/config/bindings.m4 @@ -23,7 +23,7 @@ AC_ARG_WITH([swig], AC_ARG_ENABLE([language-bindings], [AS_HELP_STRING([--enable-language-bindings=][CVC4_SUPPORTED_BINDINGS][ | all], [specify language bindings to build])], [if test "$enableval" = yes; then cvc4_check_for_bindings=yes; try_bindings='$1'; else cvc4_check_for_bindings=no; if test "$enableval" = no; then try_bindings=; else try_bindings="$enableval"; fi; fi], - [cvc4_check_for_bindings=yes; try_bindings=]) + [cvc4_check_for_bindings=no; try_bindings=]) CVC4_LANGUAGE_BINDINGS= if test "$noswig" = yes; then AC_MSG_WARN([use of swig disabled by user.]) |