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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id EBA4D7EE49 for ; Fri, 20 Sep 2013 11:50:21 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgkCAKEZPFJZELGanGdsb2JhbABagz+uEJN6gTEOAQEBAQEIFAk8giUBAQV5EAsYLlcGARKICQi6fo4sgQYzB4MegQADl3yBL5NsO4EsCRcE X-IPAS-Result: AgkCAKEZPFJZELGanGdsb2JhbABagz+uEJN6gTEOAQEBAQEIFAk8giUBAQV5EAsYLlcGARKICQi6fo4sgQYzB4MegQADl3yBL5NsO4EsCRcE X-IronPort-AV: E=Sophos;i="4.90,943,1371074400"; d="scan'208";a="33661639" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail2-smtp-roc.national.inria.fr with SMTP; 20 Sep 2013 11:50:20 +0200 Received: (qmail 17377 invoked by uid 634); 20 Sep 2013 09:50:20 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.48]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Fri, 20 Sep 2013 10:50:20 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) From: Anil Madhavapeddy In-Reply-To: Date: Fri, 20 Sep 2013 10:50:18 +0100 Cc: Roberto Di Cosmo , Dagnat Fabien , caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <0BB2D8EF-DFED-4970-9D3E-3A43ED1BFCF2@recoil.org> References: <20130919105039.GA27278@voyager> To: David MENTRE , "opam-devel@lists.ocaml.org" X-Mailer: Apple Mail (2.1508) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] Opam use for teaching lab infrastructure On 20 Sep 2013, at 10:40, David MENTRE wrote: >=20 >=20 > 2013/9/19 Roberto Di Cosmo : >>=20 >> You may need to help them installing the necessary development envi= ronment >> (gcc, m4, devl libraries, etc.), I do not know how to avoid this on= a >> random laptop :-( >=20 > I am trying this approach: installing opam on a fresh Debian virtual > machine for "students". With opam, how do you guess the needed > external libraries? >=20 > With tarballs, I am usually reading the INSTALL or README file and > install needed Debian packages. But how do I access to this > information for opam packages? Is there a list somewhere of external > (to opam) dependencies? I maintained a rough set of monolithic dependencies in the jenkins/ source directory of OPAM: https://github.com/OCamlPro/opam/blob/master/jenkins/10-opam-prepare.sh This is temporary, as OPAM 1.1dev has better support for describing external dependencies within the package description via the `depexts` field. The design of this is sketched out in: http://anil.recoil.org/2013/09/09/ocamlot-autotriaging.html (look for 'external system dependencies') I'm still gluing together a sample version of this on Debian/OpenBSD, so I'll mail this list requesting maintainers to help describe their external dependencies when I have a working local setup with some sample packages. For now, contributing to the monolithic install script above is welcome, as I can use that as a reference when porting dexpexts over. cheers, Anil=