From 262432efe8d0e323cf83ed98319378a249aa9a92 Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Thu, 30 Dec 2010 15:12:21 -0500 Subject: Add GDB module that defines an islprint command Add a python library that is installed next to libisl. GDB will automatically load it and add a new gdbcommand called "islprint". This command can be used to prettyprint isl values. It does not install an official pretty printer, as such a printer will also pretty print stacktraces which may reference values already freed. Before: (gdb) print stride $1 = (isl_set *) 0x122e6c0 Now also possible: (gdb) islprint stride $1 = "{ MemRef_A[1] }" (gdb) is stride $1 = "{ MemRef_A[1] }" Signed-off-by: Tobias Grosser Signed-off-by: Sven Verdoolaege --- Makefile.am | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'Makefile.am') 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 -- cgit v1.2.3