Re: [PATCH] build coqide

[julien lepiller]

Le 2016-12-13 03:19, Eric Bavier a écrit :
> On Mon, 12 Dec 2016 23:57:35 +0100
> Julien Lepiller <address@hidden> 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

0001-gnu-lablgtk-Update-to-2.18.5.patch
Description: Text Data

0002-gnu-lablgtk-use-ocamlfind-in-installation.patch
Description: Text Data

0003-gnu-coq-Build-coqide.patch
Description: Text Data