Skip to content

Build with python to enable pretty print in gdb

Adam Jones requested to merge adamjones/pretty-print-18.08 into 18.08

closes #764 (closed)

Output when built with python3:

gdb -q -ex 'info pretty-printer' -ex quit
global pretty-printers:
  builtin
    mpx_bound128

Merge request reports