guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] build coqide


From: Julien Lepiller
Subject: [PATCH] build coqide
Date: Mon, 12 Dec 2016 23:57:35 +0100

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.

Attachment: 0001-gnu-ocaml-findlib-Use-OCAMLPATH-to-locate-OCaml-modu.patch
Description: Text Data

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

Attachment: 0003-gnu-lablgtk-Use-ocaml-find-for-installation.patch
Description: Text Data

Attachment: 0004-gnu-coq-Build-coqide.patch
Description: Text Data


reply via email to

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