From a7842ac47f69ee0757f631babe7bfb6485b964a7 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 27 Jul 2016 19:43:34 +0200
Subject: [PATCH] tests: disable ltsmin tests if --disable-shared

* configure.ac (USE_LTSMIN): New.
* tests/Makefile.am: Use it.
---
 configure.ac      | 2 ++
 tests/Makefile.am | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/configure.ac b/configure.ac
index 529e2122e..e98b92b5e 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 537a487a4..8dc5d20ba 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 ##############################