dolfin team mailing list archive

["Johannes Ring" <johannr@xxxxxxxxx>]

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.

Johannes