I see the test-suite makefiles include build rules for .native.dbg files. (which seem to be simply executables with debug info included). However, when running make in the test-suite directory no .native.dbg files are actually created. Everything else seems to be compiling just fine. Any idea what I need to do in order to get the executables with debug info to actually compile in the test-suite project?
When I want debugging information in the test-suite executables, I normally just add -g to my OPTFLAGS variable. So I'll run something like:
make -j6 ENABLE_OPTIMIZED=1 TEST=simple OPTFLAGS="-O3 -g" USE_REFERENCE_OUTPUT=1 ENABLE_HASHED_PROGRAM_OUTPUT=1