> > > 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