On Mon, 12 Dec 2016 23:57:35 +0100 Julien Lepiller <jul...@lepiller.eu> wrote:
> hi, > > here are a few ocaml-related patches. The first one adds a > native-search-path so ocaml-findlib can find the libraries it > installs. Next, lablgtk is updated and installed using the recommended > way, with findlib. Then this new lablgtk is used to build coqide. > + "-lablgtkdir" (string-append lablgtkdir > + > "/lib/ocaml/site-lib/lablgtk2/") Is there additional benefit to the ocaml search dir OCAMLPATH? I would expect coq's build system to be able to find lablgtk from OCAMLPATH without needing to pass the configure flags. `~Eric
