Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/ltlast/Makefile.am (ltlastdir, ltlast_HEADERS): New variables. · 05f72410
    Alexandre Duret-Lutz authored
    (libltlast_la_SOURCES): Move all headers to ltlast_HEADERS.
    * src/ltlenv/Makefile.am (ltlenvdir, ltlenv_HEADERS): New variables.
    (libltlenv_la_SOURCES): Move all headers to ltlenv_HEADERS.
    * src/ltlparse/Makefile.am (ltlparsedir, ltlparse_HEADERS): New
    variables.
    (libltlparse_la_SOURCES): Move all public headers to ltlparse_HEADERS.
    * src/ltlvisit/Makefile.am (ltlvisitdir, ltlvisit_HEADERS): New
    variables.
    (libltlvisit_la_SOURCES): Move all headers to ltlparse_HEADERS.
    * src/misc/Makefile.am (include_HEADERS): Rename as ..
    (misc_HEADERS): ... this.
    (miscdir): New variable.
    * src/tgba/Makefile.am (tgbadir, tgba_HEADERS): New variables.
    (libtgba_la_SOURCES): Move all headers to tgba_HEADERS.
    * src/tgbaalgos/Makefile.am (tgbaalgosdir, tgbaalgos_HEADERS):
    New variables.
    (libtgbaalgos_la_SOURCES): Move all headers to tgbaalgos_HEADERS.
    * src/tgbaparse/Makefile.am (tgbaparsedir, tgbaparse_HEADERS): New
    variables.
    (libtgbaparse_la_SOURCES): Move all public headers to
    tgbaparse_HEADERS.
    * src/tgbaparse/public.hh: Include ltlparse/location.hh, not
    location.hh.
    05f72410