dolfin team mailing list archive

["Johannes Ring" <johannr@xxxxxxxxx>]

On Tue, October 7, 2008 14:45, Johannes Ring wrote:
> On Tue, October 7, 2008 14:38, Anders Logg wrote:
>> I would like to add a test for GMP (gmplib.org). Can someone who knows
>> the build system add this?
>
> I can do that.
>
>> We need to check for the header file gmpxx.h and we want to use the
>> latest GMP (4.2.4). If found and enabled, a variable HAS_GMP should be
>> defined. The default value of enableGmp should be false.
>
> Ok.
>
> Do you have a small example program for GMP? It will be useful to add as a
> test-program for the pkg-config generator to verify that the selected
> compiler will work.

I just used the example found here:

http://www.gnu.org/software/gmp/manual/html_node/Parameter-Conventions.html#Parameter
Conventions

I have no idea what it does, but it seems to work. If anyone has a more
suitable test program, please let me know and I will add it to the
pkg-config generator.

Johannes