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 EBE317ED11 for ; Tue, 4 Oct 2016 18:09:17 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=arlencox@gmail.com; spf=Pass smtp.mailfrom=arlencox@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f177.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of arlencox@gmail.com) identity=pra; client-ip=209.85.161.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="arlencox@gmail.com"; x-sender="arlencox@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of arlencox@gmail.com designates 209.85.161.177 as permitted sender) identity=mailfrom; client-ip=209.85.161.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="arlencox@gmail.com"; x-sender="arlencox@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f177.google.com) identity=helo; client-ip=209.85.161.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="arlencox@gmail.com"; x-sender="postmaster@mail-yw0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AmiqreBx9kItkfDzXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0eoQIJqq85mqBkHD//Il1AaPBtSBragbwLuL++C4ACpbvsbH6ChDOLV3FDY7yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Dq3PF4XTl8W60fyps92WOl0QxWn1XbQnBRO3qU30v8UWiJVrMqs9xgqB9nJOeu?= =?us-ascii?q?B+325jIlOX2RHm6ZHj0oRk9nF5ofYs8YZrVrWyK60iSbFeBzM2G28w7czv8xLE?= =?us-ascii?q?SF3ctTMnTmwKn08QUED+5xbgU8K063Oiuw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BgAQAG0/NXh7GhVdFdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFQEBAQECAQEBAQgBAQEBgxIBAQEBAXV8B40rln2UJoIHIIV+AoFhBzgUAQE?= =?us-ascii?q?BAQEBAQEBAQESAQEBCA0JCRkvgjIEARUBBIIRAQEEEhEdARsdAQMMBgULDQICJ?= =?us-ascii?q?gICIQEBEQEFARwGEyKIEAEDFw6kLIEyPjKLPYFrgl8Fg3gKGScNU4MJAQEBAQE?= =?us-ascii?q?BAQMBAQEBAQEZAgEFEHeFNYRVgkeBSIM8gloFmUQ1hieGSoMDj3KIXoQSgjwTH?= =?us-ascii?q?oERHnYFB4JXIIF4IjSFOV+BQQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BgAQAG0/NXh7GhVdFdGwEBAQMBAQEJAQEBFQEBAQECAQE?= =?us-ascii?q?BAQgBAQEBgxIBAQEBAXV8B40rln2UJoIHIIV+AoFhBzgUAQEBAQEBAQEBAQESA?= =?us-ascii?q?QEBCA0JCRkvgjIEARUBBIIRAQEEEhEdARsdAQMMBgULDQICJgICIQEBEQEFARw?= =?us-ascii?q?GEyKIEAEDFw6kLIEyPjKLPYFrgl8Fg3gKGScNU4MJAQEBAQEBAQMBAQEBAQEZA?= =?us-ascii?q?gEFEHeFNYRVgkeBSIM8gloFmUQ1hieGSoMDj3KIXoQSgjwTHoERHnYFB4JXIIF?= =?us-ascii?q?4IjSFOV+BQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,295,1473112800"; d="scan'208";a="239388265" Received: from mail-yw0-f177.google.com ([209.85.161.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Oct 2016 18:09:17 +0200 Received: by mail-yw0-f177.google.com with SMTP id t193so55654221ywc.2 for ; Tue, 04 Oct 2016 09:09:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=ZJZqs/fmF2dz8Ik9FtbF396Oj0WsWjY85C2kc+OoByc=; b=Q4wbJrwUda1c4bU6YjH2dNfbqvpGrDn0kt2P1YK3DC7jpARv12F4zGvYtNMTg+jUfn g9D0P6vqIRyle3EOx18FkTucdaAtGPkY2Y2hsIDTk3BJwH1WhCGrb3ggkvWsw88B7mHs uLarPYgrUjNeGuJkNzWQXWfU1ybA67Q1OQFUgffRATNW2W+8zZc89it1MkjjKZV+k+nt VNIdTdShHWUXaaRoRK7bpsMBTtnMkQJRCEG5FBb9PoS5BMJPvwhvkIONv96a0OP6B3vY t33s4fY1lMJwj9wn+46VGrOhDlcAiB/y2i9UwfyKolu3ceWu3FD5vI3avEOWAC9jMpzn xGzA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=ZJZqs/fmF2dz8Ik9FtbF396Oj0WsWjY85C2kc+OoByc=; b=L0Rm90JRIhvRd4HyId8SQuLD6QiWdjbV2JM0S5uqefcvRxbWdjmXTCxxV9DreKy63h 7+dwNGcJEYokEblG/IAIZv0GkSBslc8CZOaRJHGlve1dFlOdFHqaAWimlNP5beottGuz J6vOSu4wQuNPVCtd15JdKzltK9jqI026OCLfMZHh07KRuWRepqabCK9F0KtaKI21SwH2 qKgTuEg8+zLJIuhMZljuETrTlEqyJ9dK/vvtXK63j1fG55sjKBTBN+tY4jtaaSHQDI9r c4rXuy4LQeBsPYseQiTl6Ctt8Xre6HxSoiprWrAOdgU3qZdCGUumcumu6PRmACx97e9T nIPQ== X-Gm-Message-State: AA6/9Rm9iUOR7W7DeRipKNaJ5wA67ALIKFNmUrlaolyzuEaZvKQWCLZOfOMttNCALpYr1IdisYpV2OVtdkgKYw== X-Received: by 10.129.79.201 with SMTP id d192mr3382279ywb.228.1475597355777; Tue, 04 Oct 2016 09:09:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.129.53.140 with HTTP; Tue, 4 Oct 2016 09:09:15 -0700 (PDT) In-Reply-To: <49389010-1D72-4BE8-B3AE-8DA208A7CC2E@recoil.org> References: <49389010-1D72-4BE8-B3AE-8DA208A7CC2E@recoil.org> From: Arlen Cox Date: Tue, 4 Oct 2016 12:09:15 -0400 Message-ID: To: Anil Madhavapeddy Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Offline opam Hi Anil, There appears to be no issue installing packages, but switch does not seem to work. 'opam switch 4.03' connects via http to download the compiler. How do I make the compiler versions available offline as well? Thanks, Arlen On Tue, Oct 4, 2016 at 5:55 AM, Anil Madhavapeddy wrote: > 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