Hello! julien lepiller <jul...@lepiller.eu> skribis:
>> 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? Not yet, but you can help! :-) > From 2c7e43ffd0db19362756fe7fa848482c61b263d6 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller <jul...@lepiller.eu> > Date: Tue, 13 Dec 2016 11:21:33 +0100 > Subject: [PATCH 1/3] gnu: lablgtk: Update to 2.18.5 > > * gnu/packages/ocaml.scm (lablgtk): Update to 2.18.5. [...] > From ecb9fb669c8c93c35b7efd0f19b550a942234ad6 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller <jul...@lepiller.eu> > Date: Tue, 13 Dec 2016 11:21:51 +0100 > Subject: [PATCH 2/3] gnu: lablgtk: use ocamlfind in installation > > * gnu/packages/ocaml.scm (lablgtk): Use ocamlfind in installation. [...] > From 330fa542eebed022b4e99abe69e593b5a8f5c4f5 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller <jul...@lepiller.eu> > Date: Tue, 13 Dec 2016 11:22:06 +0100 > Subject: [PATCH 3/3] gnu: coq: Build coqide > > * gnu/packages/ocaml.scm (coq): Build coqide. Pushed all 3 patches, thanks! Ludo’.
