From c83335c5a3cde721661c347a3d8e9cfdbd1db007 Mon Sep 17 00:00:00 2001 From: Alexey Neyman Date: Sun, 29 Jan 2017 18:54:13 -0800 Subject: 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 --- config/debug/duma.in | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'config/debug') diff --git a/config/debug/duma.in b/config/debug/duma.in index 5f08087e..9947ca29 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" -- cgit v1.2.3