Additional troubleshooting for getting a working setup for project Everest

REMARK: a foolproof alternative recipe is to use the Everest script to download a binary .tar.gz containing OCaml and a snapshot of a working ~/.opam directory.

Additional troubleshooting for getting a working Everest setup

depext-cygwinports

Issue

======================================================================
$ opam install depext-cygwinports
...
### stderr ###
# ocamlfind: C:OCamlib\ld.conf: No such file or directory
# make: *** [master.Makefile:45: config_file.cmi] Error 2

Solution

======================================================================
Edit .opam/system/lib/findlib.conf and append these two lines:

stdlib="C:\\OCaml\\lib"
ldconf="C:\\OCaml\\lib\\ld.conf"

Issue

======================================================================
$ opam install depext-cygwinports
...
### stderr ###
' unsupported mingw_arch: 'mingw64

Solution

======================================================================
Edit ~/.opam/system/build/depext-cygwinports.0.0.6/configure and
remove the `exit 2` line in the arch check, then run

$ make && make install

Issue

======================================================================
$ opam depext sqlite3
...
error while reading ...\.opam\system\build\etc\depext-cygwinports\depext-cygwin.conf: Cygwin.Error("...\.opam\\system\\build\\etc\\depext-cygwinports\\depext-cygwin.conf not found")

Solution

It installs the configuration file in the wrong directory.
From .opam/system/build/depext-cygwinports-X.X.X, run:

$ mkdir -p /usr/local/etc/depext-cygwinports
$ install -m 0644 depext-cygwin.conf ports.gpg /usr/local/etc/depext-cygwinports

Also edit /usr/local/etc/depext-cygwinports/depext-cygwin.conf to remove the extraneous character in arch.

zarith

Issue

======================================================================
$ opam install zarith
...
# checking compilation with gcc -O3 -Wall -Wextra : working
# include caml/mlvalues.h: not found
# cannot include caml/mlvalues.h

Solution

======================================================================
From ~/.opam/system/build/zarith.1.5, run:

$ CFLAGS="-I /cygdrive/OCaml/lib/caml" CC=x86_64-w64-mingw32-gcc.exe ./configure -ocamllibdir "C:\\OCaml\\lib"
$ make && make install
$ opam install --fake zarith

ctypes

Issue

======================================================================
$ opam install ctypes
...
### stdout ###
# Cannot find file topfind.
### stderr ###
# Unknown directive `require'.

Solution

======================================================================
Install an older version (latest is 0.12.0):
$ opam install ctypes.0.11.4