standard_constraints: take constraints instead of polyhedron as input
[barvinok.git] / parker / Makefile.am
blobacf8c08e85d037f11623a044476ba6f627b84488
1 MONAPATH = @MONAPATH@
3 lib_LTLIBRARIES = libparker.la
4 libparker_la_SOURCES = \
5         construction.c \
6         count_paths.c \
7         count_solutions.cc \
8         count_solutions.h
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
15 noinst_PROGRAMS = occ
16 occ_SOURCES = \
17         Exit.cc \
18         lex.yy.cc \
19         y.tab.cc
20 occ_CPPFLAGS = @OMEGA_CPPFLAGS@
21 occ_LDFLAGS = @OMEGA_LDFLAGS@
22 occ_LDADD = -lcode_gen -lomega libparker.la
24 YACC_FLAGS = -d
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 $<