[Texmacs-dev] building texmacs

[Sam Liddicott]

texmacs currently failing, svn updated a few minutes ago:
building on linuxmint 17 (like Ubuntu 14.04)

./configure --with-x --disable-qt

...
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:380:7: error: from previous declaration
‘void operator delete(void*)’
 void  operator delete (register void* ptr);
       ^
In file included from /usr/include/c++/4.8/ext/new_allocator.h:33:0,
                 from
/usr/include/x86_64-linux-gnu/c++/4.8/bits/c++allocator.h:33,
                 from /usr/include/c++/4.8/bits/allocator.h:46,
                 from /usr/include/c++/4.8/string:41,
                 from ./Plugins/Pdf/PDFWriter/OutputFile.h:24,
                 from ./Plugins/Pdf/PDFWriter/PDFWriter.h:29,
                 from ./Plugins/Pdf/pdf_hummus_renderer.cpp:32:
/usr/include/c++/4.8/new:98: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:382:7: error: from previous declaration
‘void operator delete [](void*)’
 void  operator delete[] (register void* ptr);