On Tue, Apr 5, 2016 at 8:53 AM, alexander.stottmeister via sage-devel <sage-devel@googlegroups.com> wrote: > I faced the same error, which appears to be caused by gcc-5.3.0. After > downgrading to gcc-4.9.3, brial compiled successfully. > I am now stuck with a segmentation fault related to doc-html.
I'm starting to work on Cygwin builds now myself. I've gone ahead and created a ticket + patch for the MPFR issue: http://trac.sagemath.org/ticket/20380 Now I've hit the same issue with brial. Downgrading gcc is not a solution as far as I'm concerned so I'll see if I can understand this issue and find out what's going on. No idea yet about doc-html. > Am Mittwoch, 30. März 2016 19:15:14 UTC+2 schrieb Witold Żarowski: >> >> I can confirm that I was able to compile mprf using the patch you >> provided. >> Then ATLAS was compiling for ages, and after that another error occurred, >> this time compiling brial: >> ======================================== >> libtool: compile: g++ -DHAVE_CONFIG_H -I. >> -I../../libpolybori/include/polybori -I../../groebner/include >> -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT >> BlockDegLexOrder.lo -MD -MP -MF .deps/BlockDegLexOrder.Tpo -c >> BlockDegLexOrder.cc -DDLL_EXPORT -DPIC -o .libs/BlockDegLexOrder.o >> In file included from >> ../../libpolybori/include/polybori/cudd/../../../../Cudd/cudd/cudd.h:90:0, >> from ../../libpolybori/include/polybori/cudd/cudd.h:20, >> from ../../libpolybori/include/polybori/pbori_defs.h:27, >> from >> ../../libpolybori/include/polybori/BlockDegLexOrder.h:19, >> from BlockDegLexOrder.cc:18: >> /usr/lib/gcc/x86_64-pc-cygwin/5.3.0/include/c++/cstdio:175:11: error: >> '::snprintf' has not been declared >> using ::snprintf; >> ^ >> /usr/lib/gcc/x86_64-pc-cygwin/5.3.0/include/c++/cstdio:176:11: error: >> '::vfscanf' has not been declared >> using ::vfscanf; >> ^ >> ======================================== > > -- > 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 sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
