From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 F0D037FBC5 for ; Sat, 10 Jan 2015 20:04:52 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.214.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.214.171 as permitted sender) identity=mailfrom; client-ip=209.85.214.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f171.google.com) identity=helo; client-ip=209.85.214.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-ob0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgIBAGV3sVTRVdarm2dsb2JhbABbhDAEgwHIdQKBAgdDAQEBAQERAQEBAQEGCwsJFC6EDAEBAQMBEhEdARseAwELBgUEAQYNKgICIQEBEQEFARwGEyKHdQEDCQiqCz4xiy6Ba4J3igUKGScNVIMGAQEIAQEBARgBBQ6NQYIxgmiBQQWJZIJ7iSSBRIwWhBcSI4EMCYJUgVogMYJDAQEB X-IPAS-Result: AgIBAGV3sVTRVdarm2dsb2JhbABbhDAEgwHIdQKBAgdDAQEBAQERAQEBAQEGCwsJFC6EDAEBAQMBEhEdARseAwELBgUEAQYNKgICIQEBEQEFARwGEyKHdQEDCQiqCz4xiy6Ba4J3igUKGScNVIMGAQEIAQEBARgBBQ6NQYIxgmiBQQWJZIJ7iSSBRIwWhBcSI4EMCYJUgVogMYJDAQEB X-IronPort-AV: E=Sophos;i="5.07,737,1413237600"; d="scan'208";a="95968810" Received: from mail-ob0-f171.google.com ([209.85.214.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Jan 2015 20:04:52 +0100 Received: by mail-ob0-f171.google.com with SMTP id uz6so17567118obc.2 for ; Sat, 10 Jan 2015 11:04:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=QC3A1diZNOip/+UWdU67mu6PqMoHgE7/muln1OYD65w=; b=0HnblbshklZ9fUumGhd1yDElcp0W4ZeroS3fXB77jK1uNUNa9L9/Y4TjiFxyWqMe3j ktEGO/PpSGpP8i7pbad2gqA3N1Kbs8rhQbBaUQGiarh2QNG89ugV46wp+V4SOoYbmuF7 JU0hvaImsztIa7LIGu7cePDb+t2gcpKV6sjbYNy+CCoH32HJizHczmBNaXCkWXdwMvJ5 O23dOWew0wMf/v/BXhKyWgPcJMQHiMBv0F9s5BN+KgQc7uGzHvWYvR2noGvMIcGvus2I ZK+G3VEBLxJvFTIH617O6hzpflyQV5nebJbe2v1phnbSFF2/2b73EUNS0Hb7cbNkHDvi h6dw== MIME-Version: 1.0 X-Received: by 10.182.142.6 with SMTP id rs6mr13130061obb.65.1420916690822; Sat, 10 Jan 2015 11:04:50 -0800 (PST) Received: by 10.182.80.3 with HTTP; Sat, 10 Jan 2015 11:04:50 -0800 (PST) In-Reply-To: References: <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org> Date: Sat, 10 Jan 2015 14:04:50 -0500 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=001a11c303449cabae050c50f213 Subject: Re: [Caml-list] opam-installext (Was: Ocaml programmers interested in human-level AI) --001a11c303449cabae050c50f213 Content-Type: text/plain; charset=UTF-8 Thanks! On Sat, Jan 10, 2015 at 1:57 PM, Anil Madhavapeddy wrote: > On 10 Jan 2015, at 18:44, Kenneth Adam Miller > wrote: > > > > 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 > instead of doing iterations of finding each missing thing by hand. > > There's an OPAM plugin that the automated tests use that you may be > interested in trying out. > > Install it with: > > opam install opam-installext > > Then, if you have `sudo` configured correct you can just do: > > opam installext ... > > It will query the `depexts` field for each package which contains > OS-specific 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 > revisions of OPAM. > > -anil > > --001a11c303449cabae050c50f213 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Thanks!

On Sat, Jan 10, 2015 at 1:57 PM, Anil Madhavapeddy <anil@reco= il.org> wrote:
On 10 Jan 20= 15, at 18:44, Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:
>
> The only thing I think the ocaml environment is missing is a static ch= eck 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 in= stead of doing iterations of finding each missing thing by hand.

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

Install it with:

=C2=A0 =C2=A0 opam install opam-installext

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

=C2=A0 =C2=A0 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 exter= nal, but full support is in the works so that a plugin won't be needed = in future revisions of OPAM.

-anil


--001a11c303449cabae050c50f213--