[dune-common] 01/03: Do not pass --without-parmetis to configure

[Ansgar Burchardt]

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

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

commit 6bc487bbdf029f56c3d19ac444b4094a241983ce
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Wed Jan 1 19:34:25 2014 +0100

    Do not pass --without-parmetis to configure
    
    Passing --without-parmetis triggers a bug in the configure script
    causing it to abort.
    
    Reference: https://dune-project.org/flyspray/index.php?do=details&task_id=1404
---
 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 ad2dab5..2bbd3d1 100644
--- a/debian/dune-debian.mk
+++ b/debian/dune-debian.mk
@@ -8,10 +8,10 @@ DUNE_DEBIAN_CONFIGURE_FLAGS ?= \
 	--with-gmp \
 	--without-grape \
 	--without-metis \
-	--without-parmetis \
 	--with-superlu \
 	--without-ug \
 	--without-x
+#	--without-parmetis \
 
 override_dh_auto_configure:
 	$(DUNE_DEBIAN_DUNECONTROL) autogen

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