[dune-common] 02/03: dune-debian.mk: Restore variable for configure options

[Ansgar Burchardt]

This is an automated email from the git hooks/post-receive script.

ansgar pushed a commit to annotated tag debian/2.5.0_rc2-1
in repository dune-common.

commit 94c29bd2741d5ff2c71a260e23214b1eddf43007
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Mon Dec 5 23:08:45 2016 +0100

    dune-debian.mk: Restore variable for configure options
    
    While we currently don't have any module-specific options, it might be
    useful to keep the option to set them available.
---
 debian/dune-debian.mk | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/dune-debian.mk b/debian/dune-debian.mk
index 5fe7cba..44f69e2 100644
--- a/debian/dune-debian.mk
+++ b/debian/dune-debian.mk
@@ -2,10 +2,12 @@ include /usr/share/dpkg/pkg-info.mk
 
 DUNE_CTEST ?= /usr/bin/dune-ctest
 
+DUNE_DEBIAN_CMAKE_FLAGS = -DBUILD_SHARED_LIBS=1
+
 DUNE_DEBIAN_SHLIB = $(subst ~,.,lib$(DEB_SOURCE)-$(DEB_VERSION_UPSTREAM))
 
 override_dh_auto_configure:
-	dh_auto_configure -- -DBUILD_SHARED_LIBS=1
+	dh_auto_configure -- $(DUNE_DEBIAN_CMAKE_FLAGS)
 
 # OpenMPI looks for a rsh program, even when it only starts local processes.
 export OMPI_MCA_plm_rsh_agent=/bin/false

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-common.git