Cannot install libmonda-gdb #7
Description
Installing libmonda today yields the following error:
$ opam remote add monda -k git https://github.com/mshinwell/opam-repo-dev && opam switch -j4 4.05.0+monda
$ opam config env
$ opam install -j4 -y libmonda-gdb
The following actions will be performed:
- install libmonda-gdb master
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[libmonda-gdb.master] https://github.com/mshinwell/libmonda/archive/master.tar.gz downloaded
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] The compilation of libmonda-gdb failed at "make PREFIX=/home/opam/.opam/4.05.0+monda".
Processing 1/1: [libmonda-gdb: rm]
#=== ERROR while installing libmonda-gdb.master ===============================#
# opam-version 1.2.2 (58ef3b8213100953848d362f7120a30356d7f77d)
# os linux
# command make PREFIX=/home/opam/.opam/4.05.0+monda
# path /home/opam/.opam/4.05.0+monda/build/libmonda-gdb.master
# compiler 4.05.0+monda
# exit-code 2
# env-file /home/opam/.opam/4.05.0+monda/build/libmonda-gdb.master/libmonda-gdb-16833-d2c37b.env
# stdout-file /home/opam/.opam/4.05.0+monda/build/libmonda-gdb.master/libmonda-gdb-16833-d2c37b.out
# stderr-file /home/opam/.opam/4.05.0+monda/build/libmonda-gdb.master/libmonda-gdb-16833-d2c37b.err
### stdout ###
# gcc -O0 -fPIC -Werror -g -I/mnt/local/sda1/mshinwell/mshinwell-ocaml2-install/lib/ocaml -I/mnt/local/sda1/mshinwell/mshinwell-gdb/gdb -I/mnt/local/sda1/mshinwell/mshinwell-gdb/gdb/common -I/mnt/local/sda1/mshinwell/mshinwell-gdb/gdb/config -DHAVE_CONFIG_H -I/mnt/local/sda1/mshinwell/mshinwell-gdb/include -I/mnt/local/sda1/mshinwell/mshinwell-gdb/gdb/gnulib/import -I/mnt/local/sda1/mshinwell/mshinwell-gdb/gdb/build-gnulib/import -c -o gdb_backend/to_gdb.o gdb_backend/to_gdb.c
# Makefile:82: recipe for target 'all' failed
### stderr ###
# gdb_backend/to_gdb.c:31:25: fatal error: caml/memory.h: No such file or directory
# compilation terminated.
# make: *** [all] Error 1
=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions failed
- install libmonda-gdb master
No changes have been performed
Looks like it hasn't been installable since @954cf320f3bfd05ac3fefccaca2a96508ae8736f .