[opam-devel] opam installext packaged up

Peter Zotov whitequark at whitequark.org
Sat Dec 27 21:06:50 GMT 2014

On 2014-12-28 00:01, Anil Madhavapeddy wrote:
> On 27 Dec 2014, at 19:36, Peter Zotov <whitequark at whitequark.org> 
> wrote:
>> On 2014-12-27 22:20, Anil Madhavapeddy wrote:
>>> Hi,
>>> I've been cleaning up some of the bulk building infrastructure, and 
>>> so
>>> have packaged up opam-installext into an OPAM package as Thomas
>>> Gazagnaire suggested a while back:
>>> https://github.com/ocaml/opam-repository/pull/3296
>> Nice! The next step is tighter integration with OPAM...
> Yep -- I just wanted to get all the hacky shell script and OS distro
> detection stuff into a package first, since that will really benefit
> from a wider contribution base.  I couldn't find anything out there
> for doing distro detection from shell scripts -- does anyone know of
> an existing tool to replace the `configure` script in opam-installext?

To my knowledge, the mechanism you're using is about the best you can 

Peter Zotov

More information about the opam-devel mailing list