| # D.U.M.A. - Detect Unintended Memory Access - Memory checker |
| |
| ## depends on ! BACKEND |
| |
| ## help D.U.M.A. - Detect Unintended Memory Access |
| ## help A memory bound checker, with additional features. |
| ## help Formerly known as Electric Fence. |
| |
| config DUMA_A |
| bool |
| prompt "Build a static library" |
| default y |
| |
| config DUMA_SO |
| bool |
| prompt "Build a shared library" |
| default y if SHARED_LIBS |
| |
| choice |
| bool |
| prompt "D.U.M.A. version" |
| # Don't remove next line |
| # CT_INSERT_VERSION_BELOW |
| |
| config DUMA_V_2_5_15 |
| bool |
| prompt "2_5_15" |
| |
| endchoice |
| |
| config DUMA_VERSION |
| string |
| # Don't remove next line |
| # CT_INSERT_VERSION_STRING_BELOW |
| default "2_5_15" if DUMA_V_2_5_15 |