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 24dde76..31511c4 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -6,8 +6,9 @@ ACLOCAL_AMFLAGS = -I m4
 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
+       isl_polyhedron_detect_equalities isl_cat \
+       isl_closure isl_bound
+TESTS = isl_test pip_test.sh bound_test.sh
 
 if HAVE_PIPLIB
 ISL_PIPLIB = \
@@ -34,21 +35,28 @@ 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.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_input.c \
-       isl_input_omega.c \
-       isl_input_omega.h \
        isl_list.c \
        isl_lp.c \
        isl_lp_piplib.h \
@@ -58,22 +66,38 @@ 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 \
        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_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_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 \
@@ -104,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
@@ -122,6 +152,18 @@ isl_polyhedron_detect_equalities_LDADD = libisl.la
 isl_polyhedron_detect_equalities_SOURCES = \
        polyhedron_detect_equalities.c
 
+isl_cat_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
+       @GMP_CPPFLAGS@
+isl_cat_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
@@ -132,6 +174,7 @@ pkginclude_HEADERS = \
        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 \
@@ -139,21 +182,42 @@ pkginclude_HEADERS = \
        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@'"' > $@