diff configure.ac @ 3958:ac3abcea55e8

Add --enable-devel-tools option to configure * Makefile.in: new devel-packages rule * configure.ac: arg enable for devel-tools * binary-dist-rules.mk: add devel-packages to packages to install
author John Donoghue <john.donoghue@ieee.org>
date Fri, 05 Jun 2015 21:32:19 -0400
parents 2db17a8585e6
children 0962acdde3be
line wrap: on
line diff
--- a/configure.ac	Fri Jun 05 21:18:19 2015 -0400
+++ b/configure.ac	Fri Jun 05 21:32:19 2015 -0400
@@ -197,6 +197,13 @@
   [if test "$enableval" = yes; then ENABLE_BINARY_PACKAGES=yes; fi], [])
 AC_SUBST(ENABLE_BINARY_PACKAGES)
 
+ENABLE_DEVEL_TOOLS=no
+AC_ARG_ENABLE([devel-tools],
+  [AS_HELP_STRING([--enable-devel-tools],
+    [Enable creating devel tools such as gdb])],
+  [if test "$enableval" = yes; then ENABLE_DEVEL_TOOLS=yes; fi], [])
+AC_SUBST(ENABLE_DEVEL_TOOLS)
+
 ### Default is to cross compile for mingw.
 
 echo $host_alias