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

[Johannes Ring]

On Thu, Aug 2, 2012 at 1:30 AM, Kumar Appaiah <akumar at debian.org> wrote:
> #680931 has been fixed by the latest gcc download, so I don't believe
> that the workaround upload for Armadillo is necessary.

Thanks Kumar. The latest gcc-4.7 package (version 4.7.1-6) fixed the
problem. I guess a binNMU for DOLFIN is needed.

Johannes