# HG changeset patch # User Florian Pose # Date 1223558587 0 # Node ID 8a081444a89a0cf982e3ffba033f910b8be3050f # Parent 0b411da5fd244fe5d732b72b7c208667058bed8d Added configure switch for disabling the command-line tool. diff -r 0b411da5fd24 -r 8a081444a89a Makefile.am --- a/Makefile.am Thu Oct 09 09:48:59 2008 +0000 +++ b/Makefile.am Thu Oct 09 13:23:07 2008 +0000 @@ -35,8 +35,11 @@ devices \ include \ master \ - script \ - tool + script + +if BUILD_TOOL +SUBDIRS += tool +endif if ENABLE_USERLIB SUBDIRS += lib diff -r 0b411da5fd24 -r 8a081444a89a configure.ac --- a/configure.ac Thu Oct 09 09:48:59 2008 +0000 +++ b/configure.ac Thu Oct 09 13:23:07 2008 +0000 @@ -370,6 +370,28 @@ fi #------------------------------------------------------------------------------ +# Command-line tool +#----------------------------------------------------------------------------- + +AC_ARG_ENABLE([tool], + AS_HELP_STRING([--enable-tool], + [Build command-line tool (default: yes)]), + [ + case "${enableval}" in + yes) tool=1 + ;; + no) tool=0 + ;; + *) AC_MSG_ERROR([Invalid value for --enable-tool]) + ;; + esac + ], + [tool=1] +) + +AM_CONDITIONAL(BUILD_TOOL, test "x$tool" = "x1") + +#------------------------------------------------------------------------------ # Userspace library generation #------------------------------------------------------------------------------