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.