Re: [polyml] More portable poly compilation

2017-12-23 Thread Florian Weimer
* > Dear experts on building and linking C++ applications, > > according to the blog "Creating portable Linux binaries" > http://insanecoding.blogspot.de/2012/07/creating-portable-linux-binaries.html > the following options could make the poly executable more portable > accross different Linux

[polyml] More portable poly compilation

2017-12-23 Thread Makarius
Dear experts on building and linking C++ applications, according to the blog "Creating portable Linux binaries" http://insanecoding.blogspot.de/2012/07/creating-portable-linux-binaries.html the following options could make the poly executable more portable accross different Linux versions:

Re: [polyml] C++ standard in use

2017-12-23 Thread Florian Weimer
* Matthew Fernandez: > Full C++11 support arrived in GCC 4.8.1 [1] and Clang 3.3 [2]. C++11 support is still experimental in the 4.8 series. Feature-complete doesn't mean that it's production-ready. ___ polyml mailing list polyml@inf.ed.ac.uk