[Dune] [#811] automagic dependency: gmp

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Elias Pipping (pipping) 

Attached to Project - Dune
Summary - automagic dependency: gmp
Task Type - Bug Report
Category - Grid
Status - Unconfirmed
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - 2.0beta
Due in Version - Undecided
Due Date - Undecided
Details - passing --without-gmp does not work.

as one can already see from output such

checking for __gmpz_abs in -Lno/lib -lgmp... yes

it clearly doesn't do what it's supposed to (--without-gmp is equivalent to --with-gmp=no). 

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=811

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.