root=.
include ../../PROGNAME
#prog=trp++
sources=main.cc main_aux.cc
subdirs=builder_ltl stl_tim adaptor builder prover getopt misc unsat_core
proglinklibs=boost_system

include $(root)/Makefile.inc

