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

include $(root)/Makefile.inc

