diff --git a/configure.ac b/configure.ac index 529e2122eee2e418affc2a0d6e02cd6bf31666b1..e98b92b5e0fad9c33e56a3726e8700b1be897e74 100644 --- a/configure.ac +++ b/configure.ac @@ -135,6 +135,8 @@ esac AM_CONDITIONAL([USE_PYTHON], [test "x${enable_python:-yes}" = xyes]) +AM_CONDITIONAL([USE_LTSMIN], [test "x${enable_shared:-yes}" = xyes]) + if test "x${enable_python:-yes}" = xyes; then AC_MSG_NOTICE([You may configure with --disable-python ]dnl [if you do not need Python bindings.]) diff --git a/tests/Makefile.am b/tests/Makefile.am index 537a487a42470fab51a5a16c1c5b85b80b108f27..8dc5d20bac2c6589b525db78fb5d0a717af3de7f 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -354,6 +354,7 @@ EXTRA_DIST = \ ############################## LTSMIN ############################## +if USE_LTSMIN check_PROGRAMS += ltsmin/modelcheck ltsmin_modelcheck_SOURCES = ltsmin/modelcheck.cc @@ -374,6 +375,7 @@ EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/elevator2.1.pm \ ltsmin/finite.dve ltsmin/finite.pm ltlsmin/kripke.log: core/kripkecat$(EXEEXT) +endif ############################## SANITY ##############################