
python
import gdb
import sys
import os
try:
  from libstdcxx.v6.printers import register_libstdcxx_printers
  register_libstdcxx_printers(gdb.current_objfile())
except:
  pass

def setup_python(event):
    import libpython
gdb.events.new_objfile.connect(setup_python)
end

