dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Tue, Aug 24, 2010 at 02:14:02PM +0100, Garth N. Wells wrote:
>
>
> On 24/08/10 13:33, Anders Logg wrote:
> > Nice. I will try.
> >
>
> We may want to disable it by default because it takes a long time to
> build. Or we can pick and choose packages.

I'm not sure. If we disable it, there's a great chance it will go
untested and stop working.

--
Anders