3 lib_LTLIBRARIES = libparker.la
4 libparker_la_SOURCES = \
9 include_HEADERS = count_solutions.h
10 libparker_la_LIBADD = -ldfa -lbdd -lmem
11 libparker_la_LDFLAGS = -L$(MONAPATH)/DFA -L$(MONAPATH)/BDD -L$(MONAPATH)/Mem
12 INCLUDES = -I$(MONAPATH)/Mem -I$(MONAPATH)/DFA -I$(MONAPATH)/BDD
13 libparker_la_CPPFLAGS = $(INCLUDES) @OMEGA_CPPFLAGS@ -DNDEBUG