hat-0.1
- This requires the diagnostics library to be available and detected by configure. In that case, the following additional builds may be performed from within any source (sub-)directory: make audit make debug make prod (equivalent to make) to build at the respective diagnostics levels. Note that the results of the audit and debug are placed in the directory build/audit, respectively build/debug, whereas make prod builds directly in the source directory. If make debug or make audit fails while running configure with an error: source directory already configured, purge the build/ directory using rm -r build/ and run the make command again.