• Alexandre Duret-Lutz's avatar
    * configure.ac: Output src/tgbatest/Makefile and src/tgbatest/defs. · 80dd0ae1
    Alexandre Duret-Lutz authored
    * src/Makefile.am (SUBDIRS): Add tgbatest.
    * src/tgba/tgbaexplicit.hh, src/tgba/tgbaexplicit.cc: New file.
    * src/tgba/Makefile.am (libtgba_la_SOURCES): Add tgbaexplicit.cc
    and tgbaexplicit.hh.
    * src/tgbatest/Makefile.am, src/tgbatest/defs.in,
    src/tgbatest/explicit.cc, src/tgbatest/explicit.test: New files.
    80dd0ae1
explicit.cc 734 Bytes