wintersteiger
commented
6 years ago Here's a quick summary of my cygwin+ocaml installation attempts:
- Graphical OCaml64 installer: fails with pgrep errors, weird characters in error messages, and 'opam already initialized'.
- Manual with cygwin-opam: after a bit of struggling this works, but produces cygwin-binaries. Fails to compile multiple packages if cygwin-flexdll is not installed and requires DLL rebasing. Then, all works reasonably well, but FStar assumes it has to use "mixed" paths when there exists a /usr/bin/cygpath (thus batteries miss-classifies an absolute path as relative).
- cygwin-opam with fdopen-mingw compilers: requires flexdll, but the cygwin-flexdll-package doesn't work. With a manually installed windows-flexdll package (from web, unzipped into C:\Program F...) it installs, but fails to install the ocamlfind package after that.
- Their opam64.tar.xz package (no other flexdll, ocaml, opam packages):
- Binaries via opam init mingw 'https://github.com/fdopen/opam-repository-mingw.git' --comp 4.02.3+mingw64c --switch 4.02.3+mingw64c Fails because it can't find gmp and sqlite3, which are installed and opam depext acknowledges that (nothing missing).
- Sources via opam init mingw 'https://github.com/fdopen/opam-repository-mingw.git' --comp 4.02.3+mingw64 --switch 4.02.3+mingw64 Same as their binaries, it fails to detect gmp and sqlite3.
I wasted a lot of time on this now and I'm afraid I'll have to go do something other than installing OCaml for a few days.
I need cygwin to build quic-related things, but the everest script wasn't working right and cygwin as well as opam are just generally a PITA. I added a bunch of fixes that got it working on my end, but there may be more left to fix.
The one really major issue was that
opam init ...andopam install ...now require flexdll to be installed, otherwise they will completely disable loading of shared libraries, which many of the packages require. However, on my end the cygwin-flexdll-package works just fine now. Kremlin and FStar build, but hacl-star is confused by some of the Windows-style paths, but that's probably a local issue. (Vale never built for me anywhere and mitls-fstar is known to be broken.)Along the way I also needed to rebase DLLs including some black magic, which was a major time sink, they really need to sort that out (see https://github.com/ocaml/opam/issues/2276).
I wonder whether we shouldn't simply provide a tarball/zip of all of cygwin + opam + everest, that would save everybody a lot of time (until they upgrade any packages at least). Windows 10 also handles .iso files natively now, which might handle symlinks correctly.
I'm attaching some of my notes: cygwin-notes.txt