ok, so everyone seems to be happy (I'm very happy) with the new build system, so I just went ahead and pushed it.
I'm sure this will break a lot of things for many people... :-) -- Anders _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
