Commit 43bd39f1 authored by Etienne Renault's avatar Etienne Renault

revert a7842ac4 for building static modelcheck

* configure.ac, tests/Makefile.am: Here.
parent eb7097ba
Pipeline #22155 passed with stages
in 304 minutes and 33 seconds
......@@ -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])
  • This build remove some constraint on building modelcheck statically. In the documentation of dlopen i didn't see any restriction about building static binaries that uses dlopen. @adl do you see any objection for applying this patch onto next?

  • I don't remember the story behind a7842ac4, so we'll see. Unfortunately, I don't think we have any static build running the test suite on the buildfarm. Maybe arch-clang or alpine-gcc could serve this purpose.

Please register or sign in to reply
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.])
......
......@@ -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 ##############################
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment