510756cdb7
explicitely requested (--with-included-buddy) or if there is now stuitable version already installed. * buddy/: New directory. Contains a patched version of BuDDy 2.2. * m4/buddy.m4: Make sure the installed BuDDy supports bdd_mergepairs. Honor --with-included-buddy and --without-included-buddy. Define the BUDDY_LDFLAGS and BUDDY_CPPFLAGS output variables, and the WITH_INCLUDED_BUDDY Automake conditional * Makefile.am [WITH_INCLUDED_BUDDY] (MAYBE_SUBDIRS): New variable. (SUBDIRS): Prepend $(MAYBE_SUBDIRS). * src/Makefile.am (libspot_LDFLAGS): New variable. * src/tgba/Makefile.am (AM_CPPFLAGS): Add $(BUDDY_CPPFLAGS). * src/tgbaalgos/Makefile.am (AM_CPPFLAGS): Likewise. * src/tgbatest/Makefile.am (AM_CPPFLAGS): Likewise.
18 lines
502 B
Makefile
18 lines
502 B
Makefile
AUTOMAKE_OPTIONS = subdir-objects
|
|
|
|
# List directories in the order they must be built.
|
|
# Keep tests at the end.
|
|
SUBDIRS = misc ltlenv ltlast ltlvisit ltlparse tgba tgbaalgos tgbaparse . \
|
|
ltltest tgbatest
|
|
|
|
lib_LTLIBRARIES = libspot.la
|
|
libspot_la_SOURCES =
|
|
libspot_la_LDFLAGS = $(BUDDY_LDFLAGS)
|
|
libspot_la_LIBADD = \
|
|
ltlenv/libltlenv.la \
|
|
ltlparse/libltlparse.la \
|
|
ltlvisit/libltlvisit.la \
|
|
ltlast/libltlast.la \
|
|
tgba/libtgba.la \
|
|
tgbaalgos/libtgbaalgos.la \
|
|
tgbaparse/libtgbaparse.la
|