diff Makefile.in @ 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 e8f4a2e6dc73
children bd51e2f81020
line wrap: on
line diff
--- a/Makefile.in	Fri Jun 05 21:18:19 2015 -0400
+++ b/Makefile.in	Fri Jun 05 21:32:19 2015 -0400
@@ -55,6 +55,9 @@
 # if cross, compiling, this also means we will attempt to create cross mkoctfile
 ENABLE_BINARY_PACKAGES := @ENABLE_BINARY_PACKAGES@
 
+# create and install devel tools (default no)
+ENABLE_DEVEL_TOOLS := @ENABLE_DEVEL_TOOLS@
+
 # Should match what config.guess prints for your system.
 # If cross compiling, you must set it manually.
 ifeq ($(MXE_NATIVE_BUILD),yes)
@@ -428,6 +431,12 @@
   BLAS_PACKAGES += openblas
 endif
 
+DEVEL_PACKAGES := 
+ifeq ($(ENABLE_DEVEL_TOOLS),yes)
+  DEVEL_PACKAGES += gdb
+endif
+
+
 MAKE_SHARED_FROM_STATIC := \
   $(TOP_DIR)/tools/make-shared-from-static $(MAKE_SHARED_FROM_STATIC_OPTIONS)
 
@@ -507,6 +516,9 @@
 .PHONY: blas-packages
 blas-packages: $(BLAS_PACKAGES)
 
+.PHONY: devel-packages
+devel-packages: $(DEVEL_PACKAGES)
+
 configure: configure.ac
 	autoconf