lib_LTLIBRARIES = libisl.la
noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
isl_polyhedron_minimize isl_polytope_scan \
- isl_polyhedron_detect_equalities isl_cat
-TESTS = isl_test
+ 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_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_hash.c \
isl_ilp.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_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_stream.c \
- isl_stream.h \
isl_seq.c \
isl_tab.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
isl_cat_SOURCES = \
cat.c
+isl_closure_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
+ @GMP_CPPFLAGS@
+isl_closure_LDADD = libisl.la
+isl_closure_SOURCES = \
+ closure.c
+
nodist_pkginclude_HEADERS = \
include/isl_config.h \
include/isl_stdint.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_seq.h \
include/isl_set.h \
- include/isl_vec.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 = \
basis_reduction_templ.c \
+ isl_pw_templ.c \
+ isl_union_templ.c \
+ 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@
+ echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@