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
20 occ_CPPFLAGS = @OMEGA_CPPFLAGS@
21 occ_LDFLAGS = @OMEGA_LDFLAGS@
22 occ_LDADD = -lcode_gen -lomega libparker.la
26 y.tab.hh y.tab.cc: parser.y
27 $(YACC) -o y.tab.cc -v -d $<
29 lex.yy.cc: parser.l y.tab.hh
30 $(LEX) -olex.yy.cc -i $<