isl_constraint.c \
isl_convex_hull.c \
isl_ctx.c \
+ isl_ctx_private.h \
isl_dim.c \
isl_dim_private.h \
isl_div.c \
basis_reduction_templ.c \
isl_pw_templ.c \
isl_union_templ.c \
+ isl.py \
doc/chicago.bst \
doc/chicago.sty \
doc/implementation.tex \
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