summaryrefslogtreecommitdiff
path: root/config/debug
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2017-01-30 02:54:13 (GMT)
committerAlexey Neyman <stilor@att.net>2017-01-30 20:11:37 (GMT)
commitc83335c5a3cde721661c347a3d8e9cfdbd1db007 (patch)
tree5446dec597debdcbd0f0e40de33d2e33d0113a14 /config/debug
parentbd318e886b0a0ac1058aa889e7576ffbddb5e6fa (diff)
Use 'make install' to install DUMA
This serves two purposes: - installs its manpage - installs headers, without them it does not make sense to install a static library Unfortunately, there's no way to select shared-only build of DUMA. Hence, disable selection for static library. Also, allow user to select whether to use stock or ct-ng's wrapper. Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config/debug')
-rw-r--r--config/debug/duma.in11
1 files changed, 6 insertions, 5 deletions
diff --git a/config/debug/duma.in b/config/debug/duma.in
index 5f08087..9947ca2 100644
--- a/config/debug/duma.in
+++ b/config/debug/duma.in
@@ -7,17 +7,18 @@
## 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"
depends on SHARED_LIBS
default y
+config DUMA_CUSTOM_WRAPPER
+ bool
+ prompt "Install custom D.U.M.A wrapper"
+ default y
+ depends on DUMA_SO
+
choice
bool
prompt "D.U.M.A. version"