On Mon, Apr 13, 2020 at 7:40 PM Darij Grinberg <darijgrinb...@gmail.com> wrote: > > Trying to build sage 9.1.rc0 on a freshly updated cygwin, I'm getting this:
after a Cygwin update one has to make distclean Have you done this? If yes, and still getting this error, please post here /home/skraeling/sage/local/var/tmp/sage/build/ecm-7.0.4.p1/src/config.log > > [ecm-7.0.4.p1] checking whether we can link against GMP... yes > [ecm-7.0.4.p1] checking if gmp.h version and libgmp version are the same... > (6.1.2/6.2.0) no > [ecm-7.0.4.p1] configure: error: 'gmp.h' and 'libgmp' have different > versions, you have to reinstall GMP properly, or use the --with-gmp parameter > to tell configure the path to the GMP library and header you want to use > [ecm-7.0.4.p1] > ************************************************************************************************************************ > [ecm-7.0.4.p1] Error configuring ecm-7.0.4.p1 > [ecm-7.0.4.p1] See the file > [ecm-7.0.4.p1] > /home/skraeling/sage/local/var/tmp/sage/build/ecm-7.0.4.p1/src/config.log > [ecm-7.0.4.p1] for details. > [ecm-7.0.4.p1] > ************************************************************************************************************************ > [ecm-7.0.4.p1] > [ecm-7.0.4.p1] real 2m20.317s > [ecm-7.0.4.p1] user 0m37.282s > [ecm-7.0.4.p1] sys 0m56.531s > [ecm-7.0.4.p1] > ************************************************************************ > [ecm-7.0.4.p1] Error installing package ecm-7.0.4.p1 > [ecm-7.0.4.p1] > ************************************************************************ > > This looks more like a cygwin error or an issue with outdated files in my > local, but I don't understand gmp enough to mess with it. Is there an > installation flag for this? > > Best regards, > Darij > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/933bcd3c-1465-45ba-a090-3a8305f8657c%40googlegroups.com. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq2_FemNggHBLYfGBna73s41bhsUrmGFerqWCNGJnKAYkQ%40mail.gmail.com.
