blob: 661aa3ea1470767270cc7cff5863c4835e167c12 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
python
import sys
import os
try:
global SWIG_PRINTER_DIR
sys.path.insert(0, SWIG_PRINTER_DIR)
except NameError:
raise RuntimeError("""
---------------------------------------------------------
Change ~/.gdbinit to be able to use swig pretty printers:
> set python SWIG_PRINTER_DIR = <path/to/swig>/Tools
> source <path/to/swig>/Tools/swigprinters.gdb
---------------------------------------------------------
""")
from swigprinters import register_swig_printers, enableGdbPrintWorkaround, \
setChildrenRecursionLevel
#enableGdbPrintWorkaround()
#setChildrenRecursionLevel(2)
register_swig_printers (None)
end
|
