1 for testing with a release build, use
5 for testing a release build against OpenJDK output, use
9 for testing with a debug build, use
10 $ DBGFLAGS='-DDBG_JIT -DDBG_BB' make tests/Fib.dbg
12 `make clean' is needed if you change $DBGFLAGS.
13 for all available flags, see `debug.h'.
16 for debugging with gdb, modify Mate/MethodPool.hs and make a debug build with at
17 least -DDBG_JIT enabled, then use
19 and follow the instructions in the source file.