4 ACLOCAL_AMFLAGS = -I m4
5 AUTOMAKE_OPTIONS = nostdinc
7 lib_LTLIBRARIES = libisl.la
8 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
9 isl_polyhedron_minimize isl_polytope_scan \
10 isl_polyhedron_detect_equalities isl_cat \
12 TESTS = isl_test pip_test.sh bound_test.sh
25 isl_sample_no_piplib.c
28 if NEED_GET_MEMORY_FUNCTIONS
29 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
32 INCLUDES = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/
36 $(GET_MEMORY_FUNCTIONS) \
41 isl_basis_reduction.h \
42 basis_reduction_tab.c \
68 isl_hmap_map_basic_set.c \
69 isl_hmap_map_basic_set.h \
74 isl_local_space_private.h \
97 isl_polynomial_private.h \
99 isl_printer_private.h \
110 isl_schedule_private.h \
116 isl_transitive_closure.c \
118 isl_union_map_private.h \
121 isl_vertices_private.h \
123 EXTRA_libisl_la_SOURCES = \
127 isl_map_no_piplib.c \
128 isl_sample_no_piplib.c \
129 isl_sample_piplib.c \
130 isl_sample_piplib.h \
132 libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
133 libisl_la_LDFLAGS = -version-info @versioninfo@ \
134 @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
135 libisl_la_CPPFLAGS = $(INCLUDES) @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
137 isl_test_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
138 isl_test_LDFLAGS = @GMP_LDFLAGS@
139 isl_test_LDADD = libisl.la -lgmp
141 isl_polyhedron_sample_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
142 isl_polyhedron_sample_LDADD = libisl.la
143 isl_polyhedron_sample_SOURCES = \
146 isl_pip_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
147 isl_pip_LDFLAGS = @GMP_LDFLAGS@
148 isl_pip_LDADD = libisl.la -lgmp
152 isl_bound_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
153 isl_bound_LDFLAGS = @GMP_LDFLAGS@
154 isl_bound_LDADD = libisl.la -lgmp
155 isl_bound_SOURCES = \
158 isl_polyhedron_minimize_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
159 isl_polyhedron_minimize_LDFLAGS = @GMP_LDFLAGS@
160 isl_polyhedron_minimize_LDADD = libisl.la -lgmp
161 isl_polyhedron_minimize_SOURCES = \
162 polyhedron_minimize.c
164 isl_polytope_scan_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
165 isl_polytope_scan_LDADD = libisl.la
166 isl_polytope_scan_SOURCES = \
169 isl_polyhedron_detect_equalities_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
170 isl_polyhedron_detect_equalities_LDADD = libisl.la
171 isl_polyhedron_detect_equalities_SOURCES = \
172 polyhedron_detect_equalities.c
174 isl_cat_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
175 isl_cat_LDADD = libisl.la
179 isl_closure_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
180 isl_closure_LDADD = libisl.la
181 isl_closure_SOURCES = \
184 nodist_pkginclude_HEADERS = \
185 include/isl/config.h \
187 pkginclude_HEADERS = \
191 include/isl/constraint.h \
200 include/isl/local_space.h \
205 include/isl/options.h \
206 include/isl/point.h \
207 include/isl/polynomial.h \
208 include/isl/printer.h \
209 include/isl/schedule.h \
212 include/isl/stream.h \
213 include/isl/union_map.h \
214 include/isl/union_set.h \
216 include/isl/version.h \
217 include/isl/vertices.h
220 basis_reduction_templ.c \
228 doc/implementation.tex \
238 echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
239 (cd doc; make manual.pdf)
240 cp doc/manual.pdf $(distdir)/doc/
242 pkgconfigdir=$(pkgconfig_libdir)
243 pkgconfig_DATA = $(pkgconfig_libfile)
245 gitversion.h: @GIT_HEAD@
246 $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
248 install-data-local: $(srcdir)/isl.py
249 @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p}" \
250 $(builddir)/libisl.la`; \
252 '') echo Cannot find isl library name. GDB bindings not installed.;; \
253 *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
254 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
255 test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
256 $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac