4 ACLOCAL_AMFLAGS = -I m4
6 lib_LTLIBRARIES = libisl.la
7 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
8 isl_polyhedron_minimize isl_polytope_scan \
9 isl_polyhedron_detect_equalities isl_cat \
11 TESTS = isl_test pip_test.sh bound_test.sh
24 isl_sample_no_piplib.c
27 if NEED_GET_MEMORY_FUNCTIONS
28 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
33 $(GET_MEMORY_FUNCTIONS) \
36 isl_basis_reduction.h \
37 basis_reduction_tab.c \
80 isl_polynomial_private.h \
82 isl_printer_private.h \
97 isl_transitive_closure.c \
99 isl_union_map_private.h \
102 isl_vertices_private.h \
104 EXTRA_libisl_la_SOURCES = \
108 isl_map_no_piplib.c \
109 isl_sample_no_piplib.c \
110 isl_sample_piplib.c \
111 isl_sample_piplib.h \
113 libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
114 libisl_la_LDFLAGS = -version-info @versioninfo@ \
115 @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
116 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
117 @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
119 isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
120 isl_test_LDADD = libisl.la
122 isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
124 isl_polyhedron_sample_LDADD = libisl.la
125 isl_polyhedron_sample_SOURCES = \
128 isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
130 isl_pip_LDADD = libisl.la
134 isl_bound_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
136 isl_bound_LDADD = libisl.la
137 isl_bound_SOURCES = \
140 isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
142 isl_polyhedron_minimize_LDADD = libisl.la
143 isl_polyhedron_minimize_SOURCES = \
144 polyhedron_minimize.c
146 isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
148 isl_polytope_scan_LDADD = libisl.la
149 isl_polytope_scan_SOURCES = \
152 isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
154 isl_polyhedron_detect_equalities_LDADD = libisl.la
155 isl_polyhedron_detect_equalities_SOURCES = \
156 polyhedron_detect_equalities.c
158 isl_cat_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
160 isl_cat_LDADD = libisl.la
164 isl_closure_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
166 isl_closure_LDADD = libisl.la
167 isl_closure_SOURCES = \
170 nodist_pkginclude_HEADERS = \
171 include/isl_config.h \
173 pkginclude_HEADERS = \
176 include/isl_constraint.h \
189 include/isl_options.h \
190 include/isl_point.h \
191 include/isl_polynomial.h \
192 include/isl_printer.h \
195 include/isl_stream.h \
196 include/isl_union_map.h \
197 include/isl_union_set.h \
199 include/isl_version.h \
200 include/isl_vertices.h
203 basis_reduction_templ.c \
208 doc/implementation.tex \
218 echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
219 (cd doc; make manual.pdf)
220 cp doc/manual.pdf $(distdir)/doc/
222 pkgconfigdir=$(pkgconfig_libdir)
223 pkgconfig_DATA = $(pkgconfig_libfile)
225 gitversion.h: @GIT_HEAD@
226 echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@