2 MAYBE_INTERFACE = interface
4 SUBDIRS = . $(MAYBE_INTERFACE) doc
5 DIST_SUBDIRS = $(MAYBE_INTERFACE) doc
7 ACLOCAL_AMFLAGS = -I m4
8 AUTOMAKE_OPTIONS = nostdinc
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 isl_cat \
14 isl_closure isl_bound isl_codegen
15 TESTS = isl_test codegen_test.sh pip_test.sh bound_test.sh
28 isl_sample_no_piplib.c
31 if NEED_GET_MEMORY_FUNCTIONS
32 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
35 INCLUDES = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/
36 AM_CFLAGS = @WARNING_FLAGS@
40 $(GET_MEMORY_FUNCTIONS) \
48 isl_ast_build_private.h \
49 isl_ast_build_expr.c \
50 isl_ast_build_expr.h \
53 isl_ast_graft_private.h \
56 isl_basis_reduction.h \
57 basis_reduction_tab.c \
65 isl_constraint_private.h \
82 isl_hmap_map_basic_set.c \
83 isl_hmap_map_basic_set.h \
87 isl_local_space_private.h \
104 isl_options_private.h \
107 isl_point_private.h \
109 isl_polynomial_private.h \
111 isl_printer_private.h \
123 isl_schedule_private.h \
128 isl_space_private.h \
130 isl_stream_private.h \
137 isl_transitive_closure.c \
139 isl_union_map_private.h \
144 isl_vertices_private.h \
146 EXTRA_libisl_la_SOURCES = \
150 isl_map_no_piplib.c \
151 isl_sample_no_piplib.c \
152 isl_sample_piplib.c \
153 isl_sample_piplib.h \
155 libisl_la_LIBADD = @PIPLIB_LIBS@ @GMP_LIBS@
156 libisl_la_LDFLAGS = -version-info @versioninfo@ \
157 @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
158 libisl_la_CPPFLAGS = $(INCLUDES) @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
160 isl_test_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
161 isl_test_LDFLAGS = @GMP_LDFLAGS@
162 isl_test_LDADD = libisl.la @GMP_LIBS@
164 isl_polyhedron_sample_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
165 isl_polyhedron_sample_LDADD = libisl.la
166 isl_polyhedron_sample_SOURCES = \
169 isl_pip_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
170 isl_pip_LDFLAGS = @GMP_LDFLAGS@
171 isl_pip_LDADD = libisl.la @GMP_LIBS@
175 isl_codegen_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
176 isl_codegen_LDFLAGS = @GMP_LDFLAGS@
177 isl_codegen_LDADD = libisl.la @GMP_LIBS@
178 isl_codegen_SOURCES = \
181 isl_bound_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
182 isl_bound_LDFLAGS = @GMP_LDFLAGS@
183 isl_bound_LDADD = libisl.la @GMP_LIBS@
184 isl_bound_SOURCES = \
187 isl_polyhedron_minimize_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
188 isl_polyhedron_minimize_LDFLAGS = @GMP_LDFLAGS@
189 isl_polyhedron_minimize_LDADD = libisl.la @GMP_LIBS@
190 isl_polyhedron_minimize_SOURCES = \
191 polyhedron_minimize.c
193 isl_polytope_scan_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
194 isl_polytope_scan_LDADD = libisl.la
195 isl_polytope_scan_SOURCES = \
198 isl_polyhedron_detect_equalities_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
199 isl_polyhedron_detect_equalities_LDADD = libisl.la
200 isl_polyhedron_detect_equalities_SOURCES = \
201 polyhedron_detect_equalities.c
203 isl_cat_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
204 isl_cat_LDADD = libisl.la
208 isl_closure_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
209 isl_closure_LDADD = libisl.la
210 isl_closure_SOURCES = \
213 nodist_pkginclude_HEADERS = \
214 include/isl/config.h \
216 pkginclude_HEADERS = \
218 include/isl/aff_type.h \
221 include/isl/ast_build.h \
224 include/isl/constraint.h \
233 include/isl/local_space.h \
237 include/isl/map_type.h \
238 include/isl/multi.h \
240 include/isl/options.h \
241 include/isl/point.h \
242 include/isl/polynomial.h \
243 include/isl/polynomial_type.h \
244 include/isl/printer.h \
245 include/isl/schedule.h \
248 include/isl/set_type.h \
249 include/isl/space.h \
250 include/isl/stream.h \
251 include/isl/union_map.h \
252 include/isl/union_map_type.h \
253 include/isl/union_set.h \
254 include/isl/union_set_type.h \
256 include/isl/val_gmp.h \
258 include/isl/version.h \
259 include/isl/vertices.h
264 basis_reduction_templ.c \
267 isl_map_lexopt_templ.c \
275 doc/SubmittingPatches \
278 doc/implementation.tex \
284 interface/isl.py.top \
288 echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
289 (cd doc; make manual.pdf)
290 cp doc/manual.pdf $(distdir)/doc/
292 pkgconfigdir=$(pkgconfig_libdir)
293 pkgconfig_DATA = $(pkgconfig_libfile)
295 gitversion.h: @GIT_HEAD@
296 $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
298 install-data-local: $(srcdir)/isl.py
299 @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
300 $(builddir)/libisl.la`; \
302 '') echo Cannot find isl library name. GDB bindings not installed.;; \
303 *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
304 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
305 test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
306 $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac