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 8D6937EFC0 for ; Mon, 4 Jan 2016 15:41:15 +0100 (CET) IronPort-PHdr: 9a23:MQar4xSo6DvP6jQ6/QHvsqw12tpsv+yvbD5Q0YIujvd0So/mwa64ZxCN2/xhgRfzUJnB7Loc0qyN4/6mATRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niabqo9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7ayGEVVOoRkwF/KQ/P6w2yCpnruy3xsetmniOdN8rqZbs5UHKs9fE4G1fTlC4bOmthoynsgctqgfcDrQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=None smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@oxalide-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@oxalide-out.extra.cea.fr) identity=helo; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@oxalide-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BiAADTg4pWnAjgqIRehAyJRrN1AQ2BZCKCPYMwAoEbOBQBAQEBAQEBARABAQEBAQgLCQkhLoItgggBAQQjDwEFUQsYAgIFIQICDwJGEwgCiCsOr0iRHAEBCAEBAQEBGgSBAYpUhSOCUIFJBZcGhUCCcY5HhVSOOiABAYJogWWGAQEBAQ X-IPAS-Result: A0BiAADTg4pWnAjgqIRehAyJRrN1AQ2BZCKCPYMwAoEbOBQBAQEBAQEBARABAQEBAQgLCQkhLoItgggBAQQjDwEFUQsYAgIFIQICDwJGEwgCiCsOr0iRHAEBCAEBAQEBGgSBAYpUhSOCUIFJBZcGhUCCcY5HhVSOOiABAYJogWWGAQEBAQ X-IronPort-AV: E=Sophos;i="5.20,520,1444687200"; d="scan'208";a="159348986" Received: from oxalide-out.extra.cea.fr ([132.168.224.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Jan 2016 15:41:15 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide.extra.cea.fr (8.15.2/8.15.2/CEAnet-Internet-out-2.4) with ESMTP id u04EfECs014040 for ; Mon, 4 Jan 2016 15:41:14 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 00B97203E94 for ; Mon, 4 Jan 2016 15:48:39 +0100 (CET) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id E1A64203E82 for ; Mon, 4 Jan 2016 15:48:38 +0100 (CET) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet1.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id u04EfElR012486 for ; Mon, 4 Jan 2016 15:41:14 +0100 To: caml-list@inria.fr References: <568A2FBF.1000207@inria.fr> From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: <568A848A.50108@cea.fr> Date: Mon, 4 Jan 2016 15:41:14 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.4.0 MIME-Version: 1.0 In-Reply-To: <568A2FBF.1000207@inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] How to create a local opam repository for offline use? Hello, On 04/01/2016 09:39, Francois Berenger wrote: > What is the current procedure to prepare an opam repository > so that a machine that has no internet access can still use > opam ? > > Furthermore, is it possible to create a minimal opam repository, > so also for offline use, but let's say I know only a single > software with all its dependencies will be installed by the > offline machine. > Because, I am foreseeing that downloading all tarballs of all possible > ocaml software/libraries might exhaust my patience. The relevant issues are, I think: https://github.com/ocaml/opam/issues/2098 And a PR that solve some remaining problems with virtual packages: https://github.com/ocaml/opam/pull/2257 However I need to rewrite it in order to have something less hackish. -- François