5 SUBDIRS = $(MAYBE_PIPLIB) . doc
6 DIST_SUBDIRS = $(MAYBE_PIPLIB) doc
8 ACLOCAL_AMFLAGS = -I m4
10 lib_LTLIBRARIES = libisl.la
11 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
12 isl_polyhedron_minimize isl_polytope_scan \
13 isl_polyhedron_detect_equalities
32 isl_sample_no_piplib.c
35 PIPLIB_LA = $(top_builddir)/piplib/libpiplibMP.la
38 if NEED_GET_MEMORY_FUNCTIONS
39 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
45 $(GET_MEMORY_FUNCTIONS) \
47 isl_basis_reduction.h \
48 basis_reduction_tab.c \
87 EXTRA_libisl_la_SOURCES = \
93 isl_sample_no_piplib.c \
97 libisl_la_LIBADD = $(PIPLIB_LA) @PIPLIB_LIBS@ @POLYLIB_LIBS@ -lgmp
98 libisl_la_LDFLAGS = -version-info @versioninfo@ \
99 @PIPLIB_LDFLAGS@ @POLYLIB_LDFLAGS@ @GMP_LDFLAGS@
100 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
101 @PIPLIB_CPPFLAGS@ @POLYLIB_CPPFLAGS@ \
104 isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
105 isl_test_LDADD = libisl.la
107 isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
109 isl_polyhedron_sample_LDADD = libisl.la
110 isl_polyhedron_sample_SOURCES = \
113 isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
115 isl_pip_LDADD = libisl.la
119 isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
121 isl_polyhedron_minimize_LDADD = libisl.la
122 isl_polyhedron_minimize_SOURCES = \
123 polyhedron_minimize.c
125 isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
127 isl_polytope_scan_LDADD = libisl.la
128 isl_polytope_scan_SOURCES = \
131 isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
133 isl_polyhedron_detect_equalities_LDADD = libisl.la
134 isl_polyhedron_detect_equalities_SOURCES = \
135 polyhedron_detect_equalities.c
137 nodist_pkginclude_HEADERS = \
138 include/isl_config.h \
140 pkginclude_HEADERS = \
142 include/isl_constraint.h \
153 include/isl_map_polylib.h \
154 include/isl_polylib.h \
157 include/isl_set_polylib.h \
161 basis_reduction_templ.c \
168 (cd doc; make manual.pdf)
169 cp doc/manual.pdf $(distdir)/doc/
171 pkgconfigdir=$(pkgconfig_libdir)
172 pkgconfig_DATA = $(pkgconfig_libfile)