[dune-common] 01/01: dune-debian.mk: Enable UG.

[Ansgar Burchardt]

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

ansgar pushed a commit to branch master
in repository dune-common.

commit 1da02eac09f8789d6a30dbffec81fa476b4fcf2b
Author: Ansgar Burchardt <burchardt at igpm.rwth-aachen.de>
Date:   Thu May 15 15:06:43 2014 +0200

    dune-debian.mk: Enable UG.
---
 debian/dune-debian.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/dune-debian.mk b/debian/dune-debian.mk
index 1d7d65c..d7fb6f4 100644
--- a/debian/dune-debian.mk
+++ b/debian/dune-debian.mk
@@ -9,7 +9,7 @@ DUNE_DEBIAN_CONFIGURE_FLAGS ?= \
 	--without-metis \
 	--without-parmetis \
 	--with-superlu \
-	--without-ug \
+	--with-ug=/usr \
 	--without-x
 
 override_dh_auto_configure:

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