[opam-devel] opam installext packaged up

[Anil Madhavapeddy]

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?

-a