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

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

Reply via email to