|
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.
0001-gnu-ocaml-findlib-Use-OCAMLPATH-to-locate-OCaml-modu.patch
Description: Text Data
0002-gnu-lablgtk-Update-to-2.18.5.patch
Description: Text Data
0003-gnu-lablgtk-Use-ocaml-find-for-installation.patch
Description: Text Data
0004-gnu-coq-Build-coqide.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |