noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
isl_polyhedron_minimize isl_polytope_scan \
isl_polyhedron_detect_equalities isl_cat \
- isl_closure
-TESTS = isl_test pip_test.sh
+ isl_closure isl_bound
+TESTS = isl_test pip_test.sh bound_test.sh
if HAVE_PIPLIB
ISL_PIPLIB = \
isl_arg.c \
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_dim.c \
+ isl_dim_private.h \
isl_div.c \
isl_equalities.c \
isl_equalities.h \
+ isl_factorization.c \
+ isl_factorization.h \
isl_flow.c \
isl_fold.c \
isl_gmp.c \
isl_map_private.h \
isl_map_piplib.h \
isl_mat.c \
+ isl_morph.c \
+ isl_morph.h \
isl_name.c \
isl_name.h \
isl_obj.c \
isl_polynomial.c \
isl_printer_private.h \
isl_printer.c \
+ isl_range.c \
+ isl_range.h \
isl_sample.h \
isl_sample.c \
isl_scan.c \
isl_tab.h \
isl_tab_pip.c \
isl_transitive_closure.c \
- isl_vec.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_pip_SOURCES = \
pip.c
+isl_bound_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
+ @GMP_CPPFLAGS@
+isl_bound_LDADD = libisl.la
+isl_bound_SOURCES = \
+ bound.c
+
isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
@GMP_CPPFLAGS@
isl_polyhedron_minimize_LDADD = libisl.la
include/isl_seq.h \
include/isl_set.h \
include/isl_stream.h \
- include/isl_vec.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 = \
basis_reduction_templ.c \
isl_pw_templ.c \
+ isl_union_templ.c \
doc/chicago.bst \
doc/chicago.sty \
doc/implementation.tex \
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@
+ echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@