Skip to content
  • Alexandre Duret-Lutz's avatar
    * configure.ac: Output src/tgbaparse/Makefile. · 6884a7f9
    Alexandre Duret-Lutz authored
    * 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.
    6884a7f9