6884a7f985
* src/Makefile.am (SUBDIRS): Add tgbaparse. (libspot_la_LDADD): Add tgbaparse/libtgbaparse.la. * src/tgba/tgbaexplicit.cc (tgba_explicit::get_condition, tgba_explicit::get_promise, tgba_explicit::add_neg_condition, tgba_explicit::add_neg_promise): New methods. * src/tgba/tgbaexplicit.hh: Declare them. * src/tgbaparse/Makefile.am, src/tgbaparse/fmterror.cc, src/tgbaparse/parsedecl.hh, src/tgbaparse/public.hh, src/tgbaparse/tgbaparse.yy, src/tgbaparse/tgbascan.ll, src/tgbatest/tgbaread.cc, src/tgbatest/tgbaread.test: New files. * src/tgbatest/Makefile.am (check_PROGRAMS): Add tgbaread. (TESTS): Add tgbaread.cc. (CLEANFILES): Add input. (tgbaread_SOURCES): New variable.
42 lines
No EOL
639 B
Text
42 lines
No EOL
639 B
Text
AC_PREREQ([2.57])
|
|
AC_INIT([spot], [0.1])
|
|
AC_CONFIG_AUX_DIR([tools])
|
|
AM_INIT_AUTOMAKE([foreign nostdinc 1.7.3])
|
|
|
|
adl_CHECK_PYTHON
|
|
|
|
AC_PROG_CXX
|
|
|
|
AM_PROG_LEX
|
|
AC_PROG_YACC
|
|
|
|
AC_LANG(C++)
|
|
|
|
AX_CHECK_BUDDY
|
|
|
|
AC_PROG_LIBTOOL
|
|
|
|
CF_GXX_WARNINGS
|
|
|
|
AC_CHECK_PROG([DOT], [dot], [dot])
|
|
|
|
AC_CONFIG_FILES([
|
|
Makefile
|
|
doc/Makefile
|
|
doc/Doxyfile
|
|
src/Makefile
|
|
src/ltlenv/Makefile
|
|
src/ltlast/Makefile
|
|
src/ltlparse/Makefile
|
|
src/ltltest/Makefile
|
|
src/ltltest/defs
|
|
src/ltlvisit/Makefile
|
|
src/tgba/Makefile
|
|
src/tgbaalgos/Makefile
|
|
src/tgbaparse/Makefile
|
|
src/tgbatest/Makefile
|
|
src/tgbatest/defs
|
|
src/misc/Makefile
|
|
wrap/Makefile
|
|
])
|
|
AC_OUTPUT |