From 43bd39f13fd71a6448bc9bcbff0d5e89f9a197f0 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Fri, 9 Oct 2020 11:33:40 +0200 Subject: [PATCH] revert a7842ac for building static modelcheck * configure.ac, tests/Makefile.am: Here. --- configure.ac | 2 -- tests/Makefile.am | 2 -- 2 files changed, 4 deletions(-) diff --git a/configure.ac b/configure.ac index 0a9f108f8..5822207e7 100644 --- a/configure.ac +++ b/configure.ac @@ -171,8 +171,6 @@ 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 52c7be9b0..a9e58fb0f 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -463,7 +463,6 @@ EXTRA_DIST = \ ############################## LTSMIN ############################## -if USE_LTSMIN check_PROGRAMS += ltsmin/modelcheck check_PROGRAMS += ltsmin/testconvert ltsmin_modelcheck_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) \ @@ -507,7 +506,6 @@ EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/beem-peterson.4.gal \ ltsmin/elevator2.1.pm ltsmin/finite.dve ltsmin/finite.pm ltsmin/finite.gal ltlsmin/kripke.log: core/kripkecat$(EXEEXT) -endif ############################## SANITY ##############################