alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tests: disable ltsmin tests if --disable-shared

Browse source 
* configure.ac (USE_LTSMIN): New.
* tests/Makefile.am: Use it.
This commit is contained in:
Alexandre Duret-Lutz 2016-07-27 19:43:34 +02:00
parent 8e69530023
commit a7842ac47f
2 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/Makefile.am
View file

@ -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 ##############################