diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-03-07 11:13:19 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-03-07 11:13:19 +0000 |
commit | 302ba9e8f253dc4c1c8dd356c0b86d4864427047 (patch) | |
tree | 6f7bff84b166bb3c4edc004b7d186dab93081477 /configure.ac | |
parent | 21508561fc6c11fdf5d32d09b8e55c3750932507 (diff) |
add --enable-wachs option
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 8374c5c7e..bb4f74366 100644 --- a/configure.ac +++ b/configure.ac @@ -1207,6 +1207,15 @@ AC_ARG_ENABLE([experimental], AC_MSG_RESULT($enable_experimental) AM_CONDITIONAL([HAVE_EXPERIMENTAL], [test "x$enable_experimental" = "xyes"]) +# FTBFS right now... +AC_MSG_CHECKING(whether to compile ATS test code) +AC_ARG_ENABLE([wachs], + [AS_HELP_STRING([--enable-wachs], [enable compiling ATS test code])], + [enable_wachs=${enableval}], + [enable_wachs=no]) +AC_MSG_RESULT($enable_wachs) +AM_CONDITIONAL([HAVE_WACHS], [test "x$enable_wachs" = "xyes"]) + # should malicious code be compiled (should only be used for testing)? AC_MSG_CHECKING(whether to compile malicious code) AC_ARG_ENABLE([malicious], |