Bug#679762: dolfin: FTBFS: Armadillo could not be found. Be sure to set ARMADILLO_DIR. (missing: ARMADILLO_TEST_RUNS)

[Steven Chamberlain]

Hi Christoph,

Please could you give back dolfin after updating kfreebsd-* buildds to
gcc-4.7 4.7.1-6, fixing PR c++/53549.

fasch/fano/fils/finzi appear to have 4.7.1-5 at the moment.

Thanks a lot,
Regards,
-- 
Steven Chamberlain
steven at pyro.eu.org