From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <anil@recoil.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 197E57FBC5
	for <caml-list@sympa.inria.fr>; Sat, 10 Jan 2015 19:57:52 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  anil@recoil.org) identity=pra; client-ip=5.153.225.51;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="anil@recoil.org"; x-sender="anil@recoil.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="anil@recoil.org"; x-sender="anil@recoil.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@bark.recoil.org) identity=helo;
  client-ip=5.153.225.51;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="anil@recoil.org";
  x-sender="postmaster@bark.recoil.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArwGABx1sVQFmeEz/2dsb2JhbABbgwZnQ8t6AgiBAUMBAQEBAX2EDQEFOj8QCxguITYGE4gYAxXFZQ2DWgEBAQEGAQEBAQEBAQEajU+BdzMHMIJmgRMFlgOBRIYZhX2FYSKCMoE8b4JDAQEB
X-IPAS-Result: ArwGABx1sVQFmeEz/2dsb2JhbABbgwZnQ8t6AgiBAUMBAQEBAX2EDQEFOj8QCxguITYGE4gYAxXFZQ2DWgEBAQEGAQEBAQEBAQEajU+BdzMHMIJmgRMFlgOBRIYZhX2FYSKCMoE8b4JDAQEB
X-IronPort-AV: E=Sophos;i="5.07,737,1413237600"; 
   d="scan'208";a="95968310"
Received: from bark.recoil.org ([5.153.225.51])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Jan 2015 19:57:50 +0100
Received: from [192.168.1.75] (cpc7-cmbg14-2-0-cust238.5-4.cable.virginm.net [86.30.244.239]);
	by bark.recoil.org (OpenSMTPD) with ESMTPSA id 14bb57ef;
	TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NO;
	Sat, 10 Jan 2015 18:57:48 +0000 (GMT)
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\))
From: Anil Madhavapeddy <anil@recoil.org>
In-Reply-To: <CAK7rcp9HeXz3Lbdy0to4Zxd+8TvCU81V-SZsS3EquPaDPM6wDg@mail.gmail.com>
Date: Sat, 10 Jan 2015 18:57:47 +0000
Cc: caml users <caml-list@inria.fr>
Content-Transfer-Encoding: quoted-printable
Message-Id: <B595F75C-FED3-4445-BE0C-71391A654D8A@recoil.org>
References: <CA+rXZpb4XEg=qWMwhTY0svJht4=qH40dL2O=Tae+rAP_VYUzyg@mail.gmail.com> <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org> <CA+rXZpYCv5AokOfN+_n=t1MxNTbGOP8zx3v4ZvWL2Ci+eOWN-w@mail.gmail.com> <CAK7rcp9HeXz3Lbdy0to4Zxd+8TvCU81V-SZsS3EquPaDPM6wDg@mail.gmail.com>
To: Kenneth Adam Miller <kennethadammiller@gmail.com>
X-Mailer: Apple Mail (2.1993)
Subject: Re: [Caml-list] opam-installext (Was: Ocaml programmers interested
 in human-level AI)

On 10 Jan 2015, at 18:44, Kenneth Adam Miller <kennethadammiller@gmail.com>=
 wrote:
>=20
> The only thing I think the ocaml environment is missing is a static check=
 of the surrounding environment for the tools that will be used, for use in=
 opam. That way, when stuff builds, you get told all the dependencies inste=
ad of doing iterations of finding each missing thing by hand.

There's an OPAM plugin that the automated tests use that you may be interes=
ted in trying out.

Install it with:

    opam install opam-installext

Then, if you have `sudo` configured correct you can just do:

    opam installext <pkg1> <pkg2> ...

It will query the `depexts` field for each package which contains OS-specif=
ic external dependencies.

It's still not particularly well integrated into OPAM as it's external, but=
 full support is in the works so that a plugin won't be needed in future re=
visions of OPAM.

-anil