gmp clash when building sage 9.1.rc0 on Cygwin

[Darij Grinberg]

Trying to build sage 9.1.rc0 on a freshly updated cygwin, I'm getting this:

[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

[Dima Pasechnik]

On Mon, Apr 13, 2020 at 7:40 PM Darij Grinberg <darijg...@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

> --
> 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+...@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.

[Matthias Koeppe]

On Monday, April 13, 2020 at 4:40:00 AM UTC-7, Darij Grinberg wrote:

Trying to build sage 9.1.rc0 on a freshly updated cygwin, ...

Various issues on Cygwin need help by developers who use this system.

Starting point: https://trac.sagemath.org/ticket/29403

 

[Dima Pasechnik]

+1 - it seems that Erik is too busy with other things, and Erik the
one who did a lot of heavy lifting on Cygwin
until a month or so ago...

>
>
>
> --
> 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+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/4181fa20-5ee1-46b6-81d6-32a876bfd60b%40googlegroups.com.

[Darij Grinberg]

On Mon, Apr 13, 2020 at 2:31 PM Dima Pasechnik <dim...@gmail.com> wrote:
>
> On Mon, Apr 13, 2020 at 7:40 PM Darij Grinberg <darijg...@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

Yes, I distcleaned. Attaching the log here.

Best regards,
Darij

[Dima Pasechnik]

Thanks. Perhaps, indeed, something was not installed/updated correctly?

As far as I know, you need to (re)install
Cygwin package libgmp-devel - it will pull in all the deps we need:
https://cygwin.com/packages/summary/libgmp-devel.html

I believe there were tests done of 9.1.rc0 on Cygwin, and it worked at
least to the point it built ecm.


Dima

>
> 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+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAN3jM_kaG4eaw3k9Wt_Ddgr%3DEu%2B_nyxAr%3DfJvRC33Beeo24XOw%40mail.gmail.com.