- include/isl_blk.h \
- include/isl_ctx.h \
- include/isl_int.h \
- include/isl_lp.h \
- include/isl_lp_piplib.h \
- include/isl_map.h \
- include/isl_map_piplib.h \
- include/isl_map_polylib.h \
- include/isl_piplib.h \
- include/isl_polylib.h \
- include/isl_seq.h \
- include/isl_set.h \
- include/isl_set_polylib.h
+ include/isl/arg.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/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/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 \
+ 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@
+ 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