root=..
sources=builder_ltl.cc formula.cc helpers.cc misc.cc simplifier.cc snf_translator.cc trp_ltl_parser.cc
subdirs=scannerparser

include $(root)/Makefile.inc
