isl_printer_print_pw_qpolynomial_fold: print dim as set instead of map

[platform/upstream/isl.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 20fe575..31511c4 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -7,8 +7,8 @@ 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 \
-       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 = \
@@ -35,16 +35,22 @@ libisl_la_SOURCES = \
        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_private.h \
        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 \
@@ -60,6 +66,8 @@ libisl_la_SOURCES = \
        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 \
@@ -72,6 +80,8 @@ libisl_la_SOURCES = \
        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 \
@@ -82,7 +92,12 @@ libisl_la_SOURCES = \
        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 \
@@ -113,6 +128,12 @@ isl_pip_LDADD = libisl.la
 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
@@ -169,11 +190,16 @@ pkginclude_HEADERS = \
        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 \
@@ -181,12 +207,17 @@ EXTRA_DIST = \
        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@'"' > $@