Installation on Windows
We are trying to use coq-coquelicot as a library for the software Waterproof, which is built on coq-serapi. To this end, I have made several attempts to install the coq-coquelicot library on Windows. I am not sure if you can help with this, but it would be extremely useful.
The strategy I follow is the following (following the steps explained here):
I'm using Ocaml for Windows from https://fdopen.github.io/opam-repository-mingw/installation/
In the provided console I follow the steps:
opam init
eval `opam env`
opam switch create 4.07.1+mingw64c
eval `opam env`
opam repo add opam_ocaml_repository https://github.com/ocaml/opam-repository.git
opam install coq-serapi
opam install coq-coquelicot.3.1.0
I am receiving the following error:
[ERROR] The compilation of coq-coquelicot failed at "./configure".
#=== ERROR while compiling coq-coquelicot.3.1.0 ===============================#
# context 2.0.3 | win32/x86_64 | ocaml-variants.4.07.1+mingw64c | https://coq.inria.fr/opam/released#2020-05-04 15:30
# path ~/.opam/ocaml-variants.4.07.1+mingw64c/.opam-switch/build/coq-coquelicot.3.1.0
# command ./configure
# exit-code 1
# env-file ~/.opam/log/coq-coquelicot-17928-42bb52.env
# output-file ~/.opam/log/coq-coquelicot-17928-42bb52.out
### output ###
# [...]
# C:\OCaml64\tmp\ccCSmuUs.o:remake.cpp:(.text.startup+0x7ea): undefined reference to `__imp_bind'
# C:\OCaml64\tmp\ccCSmuUs.o:remake.cpp:(.text.startup+0x80f): undefined reference to `__imp_getsockname'
# C:\OCaml64\tmp\ccCSmuUs.o:remake.cpp:(.text.startup+0x897): undefined reference to `__imp_listen'
# C:\OCaml64\tmp\ccCSmuUs.o:remake.cpp:(.text.startup+0x129b): undefined reference to `__imp_socket'
# C:\OCaml64\tmp\ccCSmuUs.o:remake.cpp:(.text.startup+0x12c0): undefined reference to `__imp_inet_addr'
# C:\OCaml64\tmp\ccCSmuUs.o:remake.cpp:(.text.startup+0x12e9): undefined reference to `__imp_connect'
# C:\OCaml64\tmp\ccCSmuUs.o:remake.cpp:(.text.startup+0x132f): undefined reference to `__imp_send'
# C:\OCaml64\tmp\ccCSmuUs.o:remake.cpp:(.text.startup+0x1667): undefined reference to `__imp_recv'
# collect2.exe: error: ld returned 1 exit status
# configure: error: in `/home/<username>/.opam/ocaml-variants.4.07.1+mingw64c/.opam-switch/build/coq-coquelicot.3.1.0':
# configure: error: failed
Similar issues have occurred when trying to install earlier versions of coquelicot. Other coq libraries do manage to install.