diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 578981d4..54088f51 100644 --- a/Makefile.am +++ b/Makefile.am @@ -197,6 +197,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 +219,11 @@ 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 $(libdir)/$$libisl-gdb.py; \ + $(INSTALL_DATA) $(srcdir)/isl.py $(libdir)/$$libisl-gdb.py; esac |