On 2014-11-18, Dima Pasechnik <[email protected]> wrote: > basically, current (upstream) normaliz does not compile with gcc 4.9.2; > (with Sage 4.5.beta0). > I tracked it down to the following test, showing that mpir(xx) does > something strange...
As Jeroen mentiones on the mpir list, a workaround is suggested in https://gcc.gnu.org/gcc-4.9/porting_to.html, section Header <cstddef> changes And it seems to help here. > > $ cat b.cpp > #include <mpirxx.h> > int main() > { > return alignof(std::max_align_t); > } > > $ g++ -std=c++11 -c b.cpp > In file included from > /home/scratch/dimpase/sage/sage6.3/local/include/mpir.h:53:0, > from > /home/scratch/dimpase/sage/sage6.3/local/include/mpirxx.h:44, > from b.cpp:1: > /home/scratch/dimpase/sage/sage6.3/local/include/c++/4.9.2/cstddef:51:11: > error: '::max_align_t' has not been declared > using ::max_align_t; > ^ > b.cpp: In function 'int main()': > b.cpp:6:20: error: 'max_align_t' is not a member of 'std' > return alignof(std::max_align_t); > > e$ g++ -v > Using built-in specs. > COLLECT_GCC=/home/scratch/dimpase/sage/sage6.3/local/bin/g++ > COLLECT_LTO_WRAPPER=/home/scratch/dimpase/sage/sage6.3/local/libexec/gcc/x86_64-unknown-linux-gnu/4.9.2/lto-wrapper > Target: x86_64-unknown-linux-gnu > Configured with: ../src/configure > --prefix=/home/scratch/dimpase/sage/sage6.3/local > --with-local-prefix=/home/scratch/dimpase/sage/sage6.3/local > --with-gmp=/home/scratch/dimpase/sage/sage6.3/local > --with-mpfr=/home/scratch/dimpase/sage/sage6.3/local > --with-mpc=/home/scratch/dimpase/sage/sage6.3/local --with-system-zlib > --disable-multilib --disable-nls --enable-languages=c,c++,fortran > --disable-libitm > Thread model: posix > gcc version 4.9.2 (GCC) > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
