From ae8aadfdde49430e3a81f1eb3f40e53e095358ac Mon Sep 17 00:00:00 2001 From: emeric Date: Tue, 21 May 2019 13:32:13 +0200 Subject: [PATCH] Do not compile tools by default --- configure.ac | 8 +++++++- tools/Makefile.am | 2 ++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/configure.ac b/configure.ac index 3af2f9ec..32205bb5 100644 --- a/configure.ac +++ b/configure.ac @@ -88,6 +88,12 @@ AC_CONFIG_FILES([Makefile tools/similarity/Makefile tools/metadata/Makefile]) +AC_ARG_ENABLE([tools], + [AC_HELP_STRING([--enable-tools], [Build the tools])], + [:], + [enable_tools=no]) + +AM_CONDITIONAL([BUILD_TOOLS], [test "$enable_tools" = "yes"]) + AC_OUTPUT - diff --git a/tools/Makefile.am b/tools/Makefile.am index 52252310..ce4f09cc 100644 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -1,2 +1,4 @@ +if BUILD_TOOLS SUBDIRS = similarity metadata +endif