Cannot install libmonda-gdb

[ghost]

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 .

[eloraiby]

Same here, but failing on another header (defs.h not found):

The following actions will be performed:
  ∗  install gdb-ocaml    7.11                [required by libmonda-gdb]
  ∗  install libmonda-gdb master
===== ∗  2 =====
Do you want to continue ? [Y/n] y

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[libmonda-gdb.master] https://github.com/mshinwell/libmonda/archive/master.tar.gz downloaded
[gdb-ocaml.7.11] https://github.com/mshinwell/gdb/archive/gdb-7.11.tar.gz downloaded

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗  installed gdb-ocaml.7.11
[ERROR] The compilation of libmonda-gdb failed at "make PREFIX=/home/.opam/system".
Processing  2/2: [libmonda-gdb: rm]
#=== ERROR while installing libmonda-gdb.master ===============================#
# opam-version 1.2.2
# os           linux
# command      make PREFIX=/home/.opam/system
# path         /home/.opam/system/build/libmonda-gdb.master
# compiler     system (4.05.0)
# exit-code    2
# env-file     /home/.opam/system/build/libmonda-gdb.master/libmonda-gdb-11354-a71bb4.env
# stdout-file  /home/.opam/system/build/libmonda-gdb.master/libmonda-gdb-11354-a71bb4.out
# stderr-file  /home/.opam/system/build/libmonda-gdb.master/libmonda-gdb-11354-a71bb4.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:35:18: fatal error: defs.h: No such file or directory
# compilation terminated.
# make: *** [all] Error 1



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions failed
  ∗  install libmonda-gdb master
The following changes have been performed
  ∗  install gdb-ocaml 7.11

The former state can be restored with:
    opam switch import "~/.opam/system/backup/state-20170112013404.export"

[justinc1]

Have similar/same error. The gcc -O0 -fPIC -Werror -g -I/mnt/local/sda1/mshinwell/mshinwell-ocaml2-install/lib/ocaml ... is due to /home/xlab/.opam/4.05.0+monda/build/libmonda-gdb.master/Makefile containing hardcoded

#GDB_ROOT=$(PREFIX)/libexec/gdb-ocaml.7.11/src
#OCAML_ROOT=$(PREFIX)
GDB_ROOT=/mnt/local/sda1/mshinwell/mshinwell-gdb
OCAML_ROOT=/mnt/local/sda1/mshinwell/mshinwell-ocaml2-install

With wrong -I some-path, the defs.h fiel cannot be found