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
--
Problem reports: https://cygwin.com/problems.html
FAQ: https://cygwin.com/faq/
Documentation: https://cygwin.com/docs.html
Unsubscribe info: https://cygwin.com/ml/#unsubscribe-simple
