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

[Kumar Appaiah]

Hi.

On Wed, Aug 01, 2012 at 08:16:31AM +0200, Johannes Ring wrote:
> Thanks for the report and sorry about the late reply. This is not a
> bug in DOLFIN, but rather a result of the problem reported in #680931
> [1]. It is a GCC 4.7.1 bug, which has now been fixed upstream [2]. I
> am not sure how to handle this from here but Armadillo 3.2.4 (3.2.3 is
> in Debian) has a workaround for the GCC bug. Would it be possible to
> get this version into Debian now?
> 
> [1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680931
> [2] http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53549#c13

#680931 has been fixed by the latest gcc download, so I don't believe
that the workaround upload for Armadillo is necessary.

Thanks!

Kumar
-- 
I've run DOOM more in the last few days than I have the last few
months.  I just love debugging ;-)
		-- Linus Torvalds