[Top][All Lists]

[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


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]