Le 2016-12-13 03:19, Eric Bavier a écrit :
> On Mon, 12 Dec 2016 23:57:35 +0100
> Julien Lepiller <julien@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.
oh ! how could I not see it... OCAMLPATH is already defined differently 
by the ocaml package... I guess there was an update I didn't see since I 
wrote these patches (or maybe I'm just blind). Here is a a new version 
of the patches. I added ocaml-findlib to the native-inputs of coq so its 
configure script can find lablgtk without the option. and lablgtk 
doesn't need to be installed in site-lib anymore. Is this correct, or 
should the library be installed in site-lib, and this directory added to 
OCAMLPATH?

By the way, is there someone working on an ocaml-build-system?

> 
> `~Eric