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 B6C487ED11 for ; Tue, 4 Oct 2016 11:55:34 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; 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=5.153.225.51; 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@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AgPrEXBHWOmYby8PIlBv5mZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75p8qwAkXT6L1XgUPTWs2DsrQf2rCQ6f+rAzVIoc7Y9itdINoUD15NoP?= =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScb6xv663OGq+pDVfx4AxH/kOeszf12KqlD4rM0bh8NJLbZ5nhLTpnZOcO?= =?us-ascii?q?NG7WxtLFOX2R3745Hj0oRk9nF5vfMlv+tJXaXzYa0gQLBUHXxyOmY04OXxuBLE?= =?us-ascii?q?TA/J4WETBDZF2iFUChTIuUmpFqz6tTH3468kgHGX?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0COBQAIfPNX/zPhmQVdHAEBBAEBCgEBF?= =?us-ascii?q?wEFAQsBgxMBAQEBAR5XE2mkMYdYjE6CByCFfgIIgWs5EwEBAQEBAQEBAQEBXSe?= =?us-ascii?q?CMgQBFQEEghEBAQQ6BgMBNQEBDgsYLiE2BhOIMwMbAQmwDIUwBwKERQ2DWQEBA?= =?us-ascii?q?QEBAQEBAgEBAQEBAQEBAQEBEwEDBYg5CIJQgkeBSIEbgkyCL5lJNYYnhkqDA2e?= =?us-ascii?q?JAYYKiF6DfxODfh8BNEyEU3GFOV+BQQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0COBQAIfPNX/zPhmQVdHAEBBAEBCgEBFwEFAQsBgxMBAQE?= =?us-ascii?q?BAR5XE2mkMYdYjE6CByCFfgIIgWs5EwEBAQEBAQEBAQEBXSeCMgQBFQEEghEBA?= =?us-ascii?q?QQ6BgMBNQEBDgsYLiE2BhOIMwMbAQmwDIUwBwKERQ2DWQEBAQEBAQEBAgEBAQE?= =?us-ascii?q?BAQEBAQEBEwEDBYg5CIJQgkeBSIEbgkyCL5lJNYYnhkqDA2eJAYYKiF6DfxODf?= =?us-ascii?q?h8BNEyEU3GFOV+BQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,442,1473112800"; d="scan'208";a="239323538" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Oct 2016 11:55:33 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id c34ef775; Tue, 4 Oct 2016 10:55:32 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=qLDPVT+tku2a6Q7n/xe0a8riVnM=; b=TY+/fVqm2Wdnz3lJfy YsWN3IVU03FlKvLg0pwnymPGbNRgnfnKYoFnPxtXWF7o36JsqQfB3q+1/d/MFvLr 820ewPv8Ss337qtVL/+z4v9OZUYTTafzyMPDSfSOSF0bR+5sN+YhV2jcvh/CMZoA 2vvglc6nJvDIlgoTxk3U3T08Y= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=WR3m2BOQ9MAganwws+fRHF8tJKVrn3gW9b4i8nfPOyutiYARDLp i4eo/Awj2q5ygqC7sgcoVW+2AtGTrNqfK+CTSpNS8KW8OZstkoeU7N9+pYRVwXPH PVqTcTnY2G874DWYUoKQalHIuplPGCVWRFyjzKhvx0DphJIvRx2CjOUg= Received: from [172.16.10.249] (mail.astons-coaches.co.uk [194.72.166.2]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id ea62623e (TLSv1:ECDHE-RSA-AES256-SHA:256:NO); Tue, 4 Oct 2016 10:55:32 +0100 (BST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Anil Madhavapeddy In-Reply-To: Date: Tue, 4 Oct 2016 10:55:30 +0100 Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <49389010-1D72-4BE8-B3AE-8DA208A7CC2E@recoil.org> References: To: Arlen Cox X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] Offline opam On 3 Oct 2016, at 19:05, Arlen Cox wrote: > > Hi all, > > Is there good documentation anywhere on how to make an offline opam > repo? I would like to be able to use the repo just like I would opam > with an internet connection. > > I would like to be able to do the following: > - Install any package: opam install package_x > - Search for any package: opam search package_y > - Switch the compiler (even if I have not yet installed that > compiler version): opam switch 4.02.0 > > Using opam-admin make, I can cause all packages to be downloaded, but > they're tagged with the compiler version that I used to fetch them. > This means that if I run a switch, the existing archives are no longer > valid (I presume). Furthermore none of the ocaml compiler sources are > downloaded, so I cannot actually use opam switch with this install. Dear Arlen, The OPAM archives generated by `opam admin make` should be independent of the version of the compiler that has been selected. They are placed in the archives/ directory of the remote so that you can confirm this. How is the issue manifesting that you are seeing -- is it definitely failing to retrieve the package in just one switch? If this is the case, then an issue on https://github.com/ocaml/opam/issues would be appreciated, with details on `opam remote` so that we can see how you are accessing the local package. OPAM should support complete offline access (assuming that package builds themselves do not depend on the network), so the model you want should work with OPAM 1.2.2. regards Anil