isl_qpolynomial_drop_dims: properly handle nested spaces

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

diff --git a/Makefile.am b/Makefile.am
index 578981d..be7844e 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -47,6 +47,7 @@ libisl_la_SOURCES = \
        isl_constraint.c \
        isl_convex_hull.c \
        isl_ctx.c \
+       isl_ctx_private.h \
        isl_dim.c \
        isl_dim_private.h \
        isl_div.c \
@@ -197,6 +198,7 @@ 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 \
@@ -218,3 +220,13 @@ 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