mailing-list for TeXmacs Users

["Daniel" <address@hidden>]

Platform: Ubuntu 15.10 x86_64 (Kernel 4.2.0-34-generic); g++ 5.2.1-22ubuntu2

I checked out the latest source from SVN, and ran:

./configure --disable-qt
make

I got the following errors:

++++++++++++++++++++++++++++++++++++++++++++
In file included from /usr/include/c++/5/ext/new_allocator.h:33:0,
                 from /usr/include/x86_64-linux-gnu/c++/5/bits/c++allocator.h:33,
                 from /usr/include/c++/5/bits/allocator.h:46,
                 from /usr/include/c++/5/string:41,
                 from ./Plugins/Pdf/PDFWriter/OutputFile.h:24,
                 from ./Plugins/Pdf/PDFWriter/PDFWriter.h:29,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:33:
/usr/include/c++/5/new:112:41: error: declaration of ‘void* operator new(std::size_t) throw (std::bad_alloc)’ has a different exception specifier
   __attribute__((__externally_visible__));
                                         ^
In file included from Kernel/Abstractions/basic.hpp:14:0,
                 from Kernel/Types/string.hpp:15,
                 from Kernel/Abstractions/resource.hpp:13,
                 from Graphics/Bitmap_fonts/bitmap_font.hpp:14,
                 from Graphics/Renderer/renderer.hpp:14,
                 from ./Plugins/Pdf/pdf_hummus_renderer.hpp:15,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:12:
System/Misc/fast_alloc.hpp:388:7: error: from previous declaration ‘void* operator new(size_t)’
 void* operator new (register size_t s);
       ^
In file included from /usr/include/c++/5/ext/new_allocator.h:33:0,
                 from /usr/include/x86_64-linux-gnu/c++/5/bits/c++allocator.h:33,
                 from /usr/include/c++/5/bits/allocator.h:46,
                 from /usr/include/c++/5/string:41,
                 from ./Plugins/Pdf/PDFWriter/OutputFile.h:24,
                 from ./Plugins/Pdf/PDFWriter/PDFWriter.h:29,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:33:
/usr/include/c++/5/new:114:41: error: declaration of ‘void* operator new [](std::size_t) throw (std::bad_alloc)’ has a different exception specifier
   __attribute__((__externally_visible__));
                                         ^
In file included from Kernel/Abstractions/basic.hpp:14:0,
                 from Kernel/Types/string.hpp:15,
                 from Kernel/Abstractions/resource.hpp:13,
                 from Graphics/Bitmap_fonts/bitmap_font.hpp:14,
                 from Graphics/Renderer/renderer.hpp:14,
                 from ./Plugins/Pdf/pdf_hummus_renderer.hpp:15,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:12:
System/Misc/fast_alloc.hpp:390:7: error: from previous declaration ‘void* operator new [](size_t)’
 void* operator new[] (register size_t s);
       ^
In file included from /usr/include/c++/5/ext/new_allocator.h:33:0,
                 from /usr/include/x86_64-linux-gnu/c++/5/bits/c++allocator.h:33,
                 from /usr/include/c++/5/bits/allocator.h:46,
                 from /usr/include/c++/5/string:41,
                 from ./Plugins/Pdf/PDFWriter/OutputFile.h:24,
                 from ./Plugins/Pdf/PDFWriter/PDFWriter.h:29,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:33:
/usr/include/c++/5/new:116:41: error: declaration of ‘void operator delete(void*) throw ()’ has a different exception specifier
   __attribute__((__externally_visible__));
                                         ^
In file included from Kernel/Abstractions/basic.hpp:14:0,
                 from Kernel/Types/string.hpp:15,
                 from Kernel/Abstractions/resource.hpp:13,
                 from Graphics/Bitmap_fonts/bitmap_font.hpp:14,
                 from Graphics/Renderer/renderer.hpp:14,
                 from ./Plugins/Pdf/pdf_hummus_renderer.hpp:15,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:12:
System/Misc/fast_alloc.hpp:389:7: error: from previous declaration ‘void operator delete(void*)’
 void  operator delete (register void* ptr);
       ^
In file included from /usr/include/c++/5/ext/new_allocator.h:33:0,
                 from /usr/include/x86_64-linux-gnu/c++/5/bits/c++allocator.h:33,
                 from /usr/include/c++/5/bits/allocator.h:46,
                 from /usr/include/c++/5/string:41,
                 from ./Plugins/Pdf/PDFWriter/OutputFile.h:24,
                 from ./Plugins/Pdf/PDFWriter/PDFWriter.h:29,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:33:
/usr/include/c++/5/new:118:41: error: declaration of ‘void operator delete [](void*) throw ()’ has a different exception specifier
   __attribute__((__externally_visible__));
                                         ^
In file included from Kernel/Abstractions/basic.hpp:14:0,
                 from Kernel/Types/string.hpp:15,
                 from Kernel/Abstractions/resource.hpp:13,
                 from Graphics/Bitmap_fonts/bitmap_font.hpp:14,
                 from Graphics/Renderer/renderer.hpp:14,
                 from ./Plugins/Pdf/pdf_hummus_renderer.hpp:15,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:12:
System/Misc/fast_alloc.hpp:391:7: error: from previous declaration ‘void operator delete [](void*)’
 void  operator delete[] (register void* ptr);
++++++++++++++++++++++++++++++++++++++++++++

Any solution?

P.S. I try to disable Qt because the Qt version UI responses very slowly when processing a large document (for example, simply typing a few characters to the full user manual will cause the UI to freeze for several seconds). However, I'm wondering whether the issue is Qt-related.

Thanks a lot~

Daniel