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 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org