-if BUNDLED_PIPLIB
-MAYBE_PIPLIB = piplib
-endif
-
-SUBDIRS = $(MAYBE_PIPLIB) . doc
-DIST_SUBDIRS = $(MAYBE_PIPLIB) doc
+SUBDIRS = . doc
+DIST_SUBDIRS = doc
ACLOCAL_AMFLAGS = -I m4
+AUTOMAKE_OPTIONS = nostdinc
lib_LTLIBRARIES = libisl.la
noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
isl_polyhedron_minimize isl_polytope_scan \
- isl_polyhedron_detect_equalities
-TESTS = isl_test
-
-if HAVE_POLYLIB
-ISL_POLYLIB = \
- isl_map_polylib.c
-endif
+ isl_polyhedron_detect_equalities isl_cat \
+ isl_closure isl_bound
+TESTS = isl_test pip_test.sh bound_test.sh
if HAVE_PIPLIB
ISL_PIPLIB = \
isl_map_no_piplib.c \
isl_sample_no_piplib.c
endif
-if BUNDLED_PIPLIB
-PIPLIB_LA = $(top_builddir)/piplib/libpiplibMP.la
-endif
if NEED_GET_MEMORY_FUNCTIONS
GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
endif
+INCLUDES = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/
+AM_CFLAGS = @WARNING_FLAGS@
+
libisl_la_SOURCES = \
$(ISL_PIPLIB) \
- $(ISL_POLYLIB) \
$(GET_MEMORY_FUNCTIONS) \
+ isl_aff.c \
+ isl_aff_private.h \
isl_affine_hull.c \
+ isl_arg.c \
+ isl_band.c \
+ isl_band_private.h \
isl_basis_reduction.h \
basis_reduction_tab.c \
+ isl_bernstein.c \
+ isl_bernstein.h \
isl_blk.c \
+ isl_bound.c \
+ isl_bound.h \
isl_coalesce.c \
isl_constraint.c \
isl_convex_hull.c \
isl_ctx.c \
+ isl_ctx_private.h \
isl_dim.c \
+ isl_dim_private.h \
+ isl_dim_map.h \
+ isl_dim_map.c \
isl_div.c \
+ isl_div_private.h \
isl_equalities.c \
isl_equalities.h \
+ isl_factorization.c \
+ isl_factorization.h \
+ isl_farkas.c \
+ isl_flow.c \
+ isl_fold.c \
isl_gmp.c \
isl_hash.c \
+ isl_hmap_map_basic_set.c \
+ isl_hmap_map_basic_set.h \
isl_ilp.c \
isl_input.c \
- isl_input_omega.c \
- isl_input_omega.h \
isl_list.c \
+ isl_list_private.h \
+ isl_local_space_private.h \
+ isl_local_space.c \
isl_lp.c \
isl_lp_piplib.h \
isl_map.c \
isl_map_simplify.c \
+ isl_map_subtract.c \
isl_map_private.h \
isl_map_piplib.h \
isl_mat.c \
+ isl_mat_private.h \
+ isl_morph.c \
+ isl_morph.h \
isl_name.c \
isl_name.h \
+ isl_obj.c \
+ isl_options.c \
isl_output.c \
+ isl_qsort.c \
+ isl_qsort.h \
isl_piplib.h \
+ isl_point_private.h \
+ isl_point.c \
+ isl_polynomial_private.h \
+ isl_polynomial.c \
+ isl_printer_private.h \
+ isl_printer.c \
+ isl_range.c \
+ isl_range.h \
+ isl_reordering.c \
+ isl_reordering.h \
isl_sample.h \
isl_sample.c \
+ isl_scan.c \
+ isl_scan.h \
+ isl_schedule.c \
+ isl_schedule_private.h \
isl_stream.c \
- isl_stream.h \
isl_seq.c \
isl_tab.c \
isl_tab.h \
isl_tab_pip.c \
- isl_vec.c
+ isl_transitive_closure.c \
+ isl_union_map.c \
+ isl_union_map_private.h \
+ isl_vec.c \
+ isl_version.c \
+ isl_vertices_private.h \
+ isl_vertices.c
EXTRA_libisl_la_SOURCES = \
isl_lp_piplib.c \
isl_lp_no_piplib.c \
isl_map_piplib.c \
isl_map_no_piplib.c \
- isl_map_polylib.c \
isl_sample_no_piplib.c \
isl_sample_piplib.c \
isl_sample_piplib.h \
isl_piplib.c
-libisl_la_LIBADD = $(PIPLIB_LA) @PIPLIB_LIBS@ @POLYLIB_LIBS@ -lgmp
+libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
libisl_la_LDFLAGS = -version-info @versioninfo@ \
- @PIPLIB_LDFLAGS@ @POLYLIB_LDFLAGS@ @GMP_LDFLAGS@
-libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
- @PIPLIB_CPPFLAGS@ @POLYLIB_CPPFLAGS@ \
- @GMP_CPPFLAGS@
+ @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
+libisl_la_CPPFLAGS = $(INCLUDES) @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
-isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
-isl_test_LDADD = libisl.la
+isl_test_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
+isl_test_LDFLAGS = @GMP_LDFLAGS@
+isl_test_LDADD = libisl.la -lgmp
-isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
- @GMP_CPPFLAGS@
+isl_polyhedron_sample_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
isl_polyhedron_sample_LDADD = libisl.la
isl_polyhedron_sample_SOURCES = \
polyhedron_sample.c
-isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
- @GMP_CPPFLAGS@
-isl_pip_LDADD = libisl.la
+isl_pip_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
+isl_pip_LDFLAGS = @GMP_LDFLAGS@
+isl_pip_LDADD = libisl.la -lgmp
isl_pip_SOURCES = \
pip.c
-isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
- @GMP_CPPFLAGS@
-isl_polyhedron_minimize_LDADD = libisl.la
+isl_bound_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
+isl_bound_LDFLAGS = @GMP_LDFLAGS@
+isl_bound_LDADD = libisl.la -lgmp
+isl_bound_SOURCES = \
+ bound.c
+
+isl_polyhedron_minimize_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
+isl_polyhedron_minimize_LDFLAGS = @GMP_LDFLAGS@
+isl_polyhedron_minimize_LDADD = libisl.la -lgmp
isl_polyhedron_minimize_SOURCES = \
polyhedron_minimize.c
-isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
- @GMP_CPPFLAGS@
+isl_polytope_scan_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
isl_polytope_scan_LDADD = libisl.la
isl_polytope_scan_SOURCES = \
polytope_scan.c
-isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
- @GMP_CPPFLAGS@
+isl_polyhedron_detect_equalities_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
isl_polyhedron_detect_equalities_LDADD = libisl.la
isl_polyhedron_detect_equalities_SOURCES = \
polyhedron_detect_equalities.c
+isl_cat_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
+isl_cat_LDADD = libisl.la
+isl_cat_SOURCES = \
+ cat.c
+
+isl_closure_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
+isl_closure_LDADD = libisl.la
+isl_closure_SOURCES = \
+ closure.c
+
nodist_pkginclude_HEADERS = \
- include/isl_libs.h \
- include/isl_stdint.h
+ include/isl/config.h \
+ include/isl/stdint.h
pkginclude_HEADERS = \
- include/isl_blk.h \
- include/isl_constraint.h \
- include/isl_ctx.h \
- include/isl_dim.h \
- include/isl_div.h \
- include/isl_ilp.h \
- include/isl_int.h \
- include/isl_hash.h \
- include/isl_list.h \
- include/isl_lp.h \
- include/isl_mat.h \
- include/isl_map.h \
- include/isl_map_polylib.h \
- include/isl_polylib.h \
- include/isl_seq.h \
- include/isl_set.h \
- include/isl_set_polylib.h \
- include/isl_vec.h
+ include/isl/aff.h \
+ include/isl/arg.h \
+ include/isl/band.h \
+ include/isl/blk.h \
+ include/isl/constraint.h \
+ include/isl/ctx.h \
+ include/isl/dim.h \
+ include/isl/div.h \
+ include/isl/flow.h \
+ include/isl/ilp.h \
+ include/isl/int.h \
+ include/isl/hash.h \
+ include/isl/list.h \
+ include/isl/local_space.h \
+ include/isl/lp.h \
+ include/isl/mat.h \
+ include/isl/map.h \
+ include/isl/obj.h \
+ include/isl/options.h \
+ include/isl/point.h \
+ include/isl/polynomial.h \
+ include/isl/printer.h \
+ include/isl/schedule.h \
+ include/isl/seq.h \
+ include/isl/set.h \
+ include/isl/stream.h \
+ include/isl/union_map.h \
+ include/isl/union_set.h \
+ include/isl/vec.h \
+ include/isl/version.h \
+ include/isl/vertices.h
EXTRA_DIST = \
+ isl_config_post.h \
basis_reduction_templ.c \
+ isl_list_templ.c \
+ isl_list_templ.h \
+ isl_pw_templ.c \
+ isl_union_templ.c \
+ isl.py \
+ doc/chicago.bst \
+ doc/chicago.sty \
+ doc/implementation.tex \
+ doc/isl.bib \
doc/mypod2latex \
doc/manual.tex \
doc/user.pod \
+ bound_test.sh \
+ pip_test.sh \
test_inputs
dist-hook:
+ echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
(cd doc; make manual.pdf)
cp doc/manual.pdf $(distdir)/doc/
pkgconfigdir=$(pkgconfig_libdir)
pkgconfig_DATA = $(pkgconfig_libfile)
+
+gitversion.h: @GIT_HEAD@
+ $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
+
+install-data-local: $(srcdir)/isl.py
+ @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p}" \
+ $(builddir)/libisl.la`; \
+ case $$libisl in \
+ '') echo Cannot find isl library name. GDB bindings not installed.;; \
+ *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
+ $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
+ test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
+ $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac