Add --with-valgrind

1 files changed, 6 insertions, 0 deletions

diff --git a/configure.py b/configure.py
index d5d4feedc..5edd45f02 100755
--- a/configure.py
+++ b/configure.py
@@ -354,6 +354,9 @@ def process_command_line(args):
                            default='.'.join(map(str, sys.version_info[0:2])),
                            help='where to install botan.py (def %default)')
 
+    build_group.add_option('--with-valgrind', help='use valgrind API',
+                           dest='with_valgrind', action='store_true', default=False)
+
     mods_group = optparse.OptionGroup(parser, 'Module selection')
 
     mods_group.add_option('--enable-modules', dest='enabled_modules',
@@ -776,6 +779,9 @@ class ArchInfo(object):
 
         macros.append('TARGET_UNALIGNED_MEMORY_ACCESS_OK %d' % (unaligned_ok))
 
+        if options.with_valgrind:
+            macros.append('HAS_VALGRIND')
+
         return macros
 
 class CompilerInfo(object):