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 614947ED11 for ; Tue, 4 Oct 2016 18:17:47 +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=3AS9ArjRSZa0pp8iYx9EPfxxeS3Npsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa64ZhGN2/xhgRfzUJnB7Loc0qyN4vqmAzNLsMvJ8ChbNscTB1ld0Y?= =?us-ascii?q?RetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?= =?us-ascii?q?Ora9QdaK3Iyfntq/8JzLYghOmCH1IfYrdE33/jPqq9IOjIB+BqE0wxrP6jsUKq?= =?us-ascii?q?UFjV9vcHuJmxv6ruy37NY3+j5UtvQq8N5oXqDzfqB+RrtdWmcIKWcwseTttB2L?= =?us-ascii?q?aAKD5nICW30bnhZZS1zM6hD+do38uSz7sqx6wibMbp6+dqw9RTn3t/QjcxTvki?= =?us-ascii?q?pScmNg/Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ARBQBj1fNX/zPhmQVdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFQEBAQECAQEBAQgBAQEBgxIBAQEBAR5XE2mkL4IqhS6OVSaFeAIIgWA8EAE?= =?us-ascii?q?BAQEBAQEBAQEBXSeCMgQBFQWCEAEBAQMBOgYDASoLAQEDCwsYDSEhJBIGExKII?= =?us-ascii?q?QMPDAEJsSmFMAcChD8DCoNcAQEBAQEBAQEBAQEBAQEBAQEBAQEBEwEIiDmCWIJ?= =?us-ascii?q?HgUg4Y4JMgi+GcAySTTWGJ4ZKgwNngVWHLIYKiF6DfxODfjUfTIRUcQEBAQGFN?= =?us-ascii?q?V+BQQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ARBQBj1fNX/zPhmQVdGwEBAQMBAQEJAQEBFQEBAQECAQE?= =?us-ascii?q?BAQgBAQEBgxIBAQEBAR5XE2mkL4IqhS6OVSaFeAIIgWA8EAEBAQEBAQEBAQEBX?= =?us-ascii?q?SeCMgQBFQWCEAEBAQMBOgYDASoLAQEDCwsYDSEhJBIGExKIIQMPDAEJsSmFMAc?= =?us-ascii?q?ChD8DCoNcAQEBAQEBAQEBAQEBAQEBAQEBAQEBEwEIiDmCWIJHgUg4Y4JMgi+Gc?= =?us-ascii?q?AySTTWGJ4ZKgwNngVWHLIYKiF6DfxODfjUfTIRUcQEBAQGFNV+BQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,444,1473112800"; d="scan'208";a="239389511" 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 18:17:46 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 72d469fe; Tue, 4 Oct 2016 17:17:44 +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=nbYXlDTDwjrt/JoVYOdVhG/+YOA=; b=U2OAsN8DY4nS2BQIzq aR2/OqhSkLebXKXOK8W6vK1i5Iuh3nrFoOiFdCDc0w0inl/1G7pD4xrmWwseiPnj PCAM1fofqPCk7iacC1xnmusMbVCz64ZAUBwLyA0YaY8raFHo0TcWFSex6t0VJ/FA 4lmDoObsD2UdafCUGY+gGl9/s= 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=hBdhjh85yBxNcC/bQRR6GROOZTJ8elHqeBK1VRCS20JBLDoWolM O7rfSWUE35u0p/suDavOqq2M9hMbdDq/trny/PzezHKIAiqkQnx7UIqLnKfqRuvW XXaGNiehvHgzJ0SNBKl4cxqQNZJ9zKKbGHtmLUweQ8AR0Fd4DerSt+sY= Received: from [192.168.1.9] (cpc91188-cmbg18-2-0-cust74.5-4.cable.virginm.net [80.5.152.75]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 7d2a1390 (TLSv1:ECDHE-RSA-AES256-SHA:256:NO); Tue, 4 Oct 2016 17:17:44 +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 17:17:43 +0100 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <5BF40816-67CA-428B-8A7A-7029825C75D7@recoil.org> References: <49389010-1D72-4BE8-B3AE-8DA208A7CC2E@recoil.org> To: Arlen Cox X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] Offline opam In OPAM 1.2.2, you have to add a compilers/ directory to the repository and point the 'src' field to a local network location; e.g. see this one fo= r 4.03 https://github.com/ocaml/opam-repository/blob/master/compilers/4.03.0/4.03.= 0/4.03.0.comp In OPAM 2dev, the OCaml compiler packages are no longer special cased and are normal packages, and so they will be made available offline via `opam admin` in exactly the same way as packages are now. I've just published a set of OPAM2dev Docker images at: https://hub.docker.com/r/ocaml/opam-dev/ with various distro and OCaml version combinations that might be useful if = you want to test-drive the functionality. regards Anil > On 4 Oct 2016, at 17:09, Arlen Cox wrote: >=20 > Hi Anil, >=20 > There appears to be no issue installing packages, but switch does not > seem to work. >=20 > 'opam switch 4.03' connects via http to download the compiler. How do > I make the compiler versions available offline as well? >=20 > Thanks, > Arlen >=20 > On Tue, Oct 4, 2016 at 5:55 AM, Anil Madhavapeddy wrote: >> On 3 Oct 2016, at 19:05, Arlen Cox wrote: >>>=20 >>> Hi all, >>>=20 >>> 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. >>>=20 >>> 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 >>>=20 >>> 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. >>=20 >> Dear Arlen, >>=20 >> 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. >>=20 >> 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. >>=20 >> 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. >>=20 >> regards >> Anil >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20