guix-devel
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]