Re: Bug#679762: dolfin: FTBFS: Armadillo could not be found. Be sure to set ARMADILLO_DIR. (missing: ARMADILLO_TEST_RUNS)
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
> . It is a GCC 4.7.1 bug, which has now been fixed upstream . 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?
>  http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680931
>  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.
I've run DOOM more in the last few days than I have the last few
months. I just love debugging ;-)
-- Linus Torvalds