Building Coq in Cygwin

[Marco Atzeri]

On 06.05.2021 02:56, Eliot Moss wrote:
> Folks - Before I try to Coq mailing lists, I am wondering if anyone here 
> has had success building Coq under Cygwin.  I've tried the dune and the 
> make approaches, and both fail,
> in different ways, but seemingly because some components can't deal with 
> the uniquenesses
> of Cygwin - though they seem to try to provide for it.
> 
> Regards - Eliot
> 

another of those software that thinks Automake/cmake are non needed ...
usually they are a mess to port to un-forecasted platforms.

$ ./configure
       0 [main] ocamlrun 740 child_info_fork::abort: address space 
needed by 'dllunix.so' (0x400000) is already occupied
...
by 'dllunix.so' (0x400000) is already occupied
       0 [main] ocamlrun 744 child_info_fork::abort: address space 
needed by 'dllunix.so' (0x400000) is already occupied
I can not automatically find the name of your architecture.
Give me a name, please [win32 for Win95, Win98 or WinNT]:
                                   ^^ frontline technology I see


How we solve the reloc issue on 64 bit ? I am a bit ocalm rust