[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] build coqide
From: |
Eric Bavier |
Subject: |
Re: [PATCH] build coqide |
Date: |
Mon, 12 Dec 2016 20:19:17 -0600 |
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.
`~Eric