update isl for isl_set_from_params
[barvinok.git] / parker / Makefile.am
blob4fbc230fd5a38919ee623872b2d901a8c5ffca43
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