> > > OK then. Enrico earlier agreed with this and then we will have more time 
> > > to
> > > fix this properly.
> > 
> > Done. I've also reopened the bug report with a comment.

this starts to be pita :(

> I updated from svn on July 17 evening, and the GCC3 bug is still
> there.

are you sure you havent frontend_helpers.cpp patched by some previous
work ? looking into source i dont see how this can happen.

> I applied Enrico's last patch (try/catch solution) with success.

anyway - this patch reverts _any_ changes done wrt bug 2738, 
does it work for you ?

we can either commit this patch or if jose release rc3 with dovs work
we can add try-catch patch to the bump.

> BTW with trac, trying to display frontend_helpers.cpp redirects me to
> http://tug.org/TeXnik/ ???

this happens not only with this file.

pavel
Index: frontend_helpers.cpp
===================================================================
--- frontend_helpers.cpp        (revision 19134)
+++ frontend_helpers.cpp        (working copy)
@@ -40,7 +40,6 @@
 
 #include <algorithm>
 #include <fstream>
-#include <locale>
 
 using std::string;
 using std::vector;
@@ -1108,22 +1107,10 @@
                                      LanguagePair, bool>
 {
 public:
-#if 1//defined(__GNUC__) && (!defined(USE_WCHAR_T) || __GNUC__ < 4)
        bool operator()(LanguagePair const & lhs,
                        LanguagePair const & rhs) const {
                return lhs.first < rhs.first;
        }
-#else
-// this is supposed to fix bug 2738, but it is not stable yet
-// see http://bugzilla.lyx.org/show_bug.cgi?id=2738
-       Sorter() : loc_("") {};
-       bool operator()(LanguagePair const & lhs,
-                       LanguagePair const & rhs) const {
-               return loc_(lhs.first, rhs.first);
-       }
-private:
-       std::locale loc_;
-#endif
 };
 
 } // namespace anon

Reply via email to