On Tue, Jul 28, 2009 at 05:48:07PM +1000, Paul Bone wrote: > On Tue, Jul 28, 2009 at 09:30:58AM +0200, Lucas Nussbaum wrote: > > > > gcc-3.4 is about to be removed from Debian (#536777). How do you plan to > > deal with that? > > We use a comple of GCC extensions that cause problems with more recent versions > of GCC, we can turn those off or use the high-level C backend. Either way, we > can deal with it but we mightn't like to :-) since in some cases it will make > things slower, and we don't as yet have a way to prevent this in profiling and > debugging builds. > This has now been solved in newer upstream versions of Mercury. Thanks.
Description: Digital signature