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 EE5447FEFE for ; Fri, 24 Jun 2016 17:34:09 +0200 (CEST) IronPort-PHdr: 9a23:J3RoGh/WtdrgNv9uRHKM819IXTAuvvDOBiVQ1KB91e0cTK2v8tzYMVDF4r011RmSDN2ds6IP27eempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EkfqKtSsWC0oye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrpT4wJk2uS9ZvvZk889bTY37eb45RPpWFn5uZ2s84cmusRjYUSOO4GEdWyMYiEwbLRLC6USwZZD8vTfgsfI5kAybNs3/QLR+EWCn7qxrQRLszjwAOjEl6mbPos12kK9f5hmmokoskMbvfIiJOa8mLevmdtQASD8ZUw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga02.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.20 as permitted sender) identity=mailfrom; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.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@mga02.intel.com) identity=helo; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga02.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BrAADTUW1XhxSIhoZcgnCBJH0GpySSfIF7FwEMhXQCgTI4FAEBAQEBAQEBEQEBAQgNCQkhJAuCMoIhLRxCASoZPSYBBBuIJwEOpnGgFQEBCAEBAQEjhimJDoJHC0AYghIdBZh6BgGBMIRXl0+Pfh6CTyKBNW4BAQEBiC0BfgEBAQ X-IPAS-Result: A0BrAADTUW1XhxSIhoZcgnCBJH0GpySSfIF7FwEMhXQCgTI4FAEBAQEBAQEBEQEBAQgNCQkhJAuCMoIhLRxCASoZPSYBBBuIJwEOpnGgFQEBCAEBAQEjhimJDoJHC0AYghIdBZh6BgGBMIRXl0+Pfh6CTyKBNW4BAQEBiC0BfgEBAQ X-IronPort-AV: E=Sophos;i="5.26,521,1459807200"; d="scan'208,217";a="223937663" Received: from mga02.intel.com ([134.134.136.20]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jun 2016 17:34:07 +0200 Received: from fmsmga001.fm.intel.com ([10.253.24.23]) by orsmga101.jf.intel.com with ESMTP; 24 Jun 2016 08:34:05 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.26,521,1459839600"; d="scan'208,217";a="994428990" Received: from irsmsx109.ger.corp.intel.com ([163.33.3.23]) by fmsmga001.fm.intel.com with ESMTP; 24 Jun 2016 08:34:05 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by IRSMSX109.ger.corp.intel.com ([169.254.13.193]) with mapi id 14.03.0248.002; Fri, 24 Jun 2016 16:33:37 +0100 From: "Soegtrop, Michael" To: "caml-list@inria.fr" Thread-Topic: Different opam file for core-113.33.03 in official tar.gz and local opam repo (one has explicit dependency version numbers, the other not) Thread-Index: AdHOLbwsmm4FXtxVQR6gR7TDI6sRVA== Date: Fri, 24 Jun 2016 15:33:36 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130@IRSMSX102.ger.corp.intel.com> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.181] Content-Type: multipart/alternative; boundary="_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130IRSMSX102gercor_" MIME-Version: 1.0 Subject: [Caml-list] Different opam file for core-113.33.03 in official tar.gz and local opam repo (one has explicit dependency version numbers, the other not) --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130IRSMSX102gercor_ Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Dear OCaml Users, I had to patch core to make it compile on cygwin and run into issues with o= pam's version selection mechanism with the patched and pinned core version.= The root cause is that the opam file in https://ocaml.janestreet.com/ocaml-core/113.33/files/core-113.33.03.tar.gz which I used as source for my patch, and in my local opam repo (opam instal= led from scratch in fresh cygwin today): D:\bin\cygwin_opam_64_test6\home\soegtrop\.opam\repo\default\packages\core\= core.113.33.03 are different. The file in my local repo contains explicit version numbers = for the dependencies, e.g. "bin_prot" {>=3D "113.33.03" & < "113.34.00"} while the version on git and in the tgz file doesn't, e.g.: "bin_prot" This has the effect that opam tries to install the dependencies for core 11= 3.33.03 with version 113.24.0, which doesn't work. I wonder where opam gets the opam files for core from and why they are diff= erent. Does opam somehow modify the opam files in the local repository? I use these commands to install the patched version of core: cd core-113.33.03 patch -p1 -i ../core-113.33.03.patch opam pin add core . -n cd .. opam install core Best regards, Michael Intel Deutschland GmbH Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany Tel: +49 89 99 8853-0, www.intel.de Managing Directors: Christin Eisenschmid, Christian Lamprechter Chairperson of the Supervisory Board: Nicole Lau Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928 --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130IRSMSX102gercor_ Content-Type: text/html; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable

Dear OCaml Users,

 

I had to patch core to make it compile on cygwin and= run into issues with opam’s version selection mechanism with the pat= ched and pinned core version. The root cause is that the opam file in

 

https://ocaml.janestreet.com/ocaml-core/= 113.33/files/core-113.33.03.tar.gz

 

which I used as source for my patch, and in my local= opam repo (opam installed from scratch in fresh cygwin today):<= /p>

 

D:\bin\cygwin_opam_64_test6\home\soegtrop\.opam\repo= \default\packages\core\core.113.33.03

 

are different. The file in my local repo contains ex= plicit version numbers for the dependencies, e.g.

 

  "bin_prot"    &= nbsp;   {>=3D "113.33.03" & < "113.34.00= "}

 

while the version on git and in the tgz file doesn&#= 8217;t, e.g.:

 

  "bin_prot"

 

This has the effect that opam tries to install the d= ependencies for core 113.33.03 with version 113.24.0, which doesn’t w= ork.

 

I wonder where opam gets the opam files for core fro= m and why they are different. Does opam somehow modify the opam files in th= e local repository?

 

I use these commands to install the patched version = of core:

 

    <download and unpack core into= core-113.33.03>

    cd core-113.33.03

    patch -p1 -i ../core-113.33.03.pa= tch

    opam pin add core . –n=

   cd ..

    opam install core

 

Best regards,

 

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

--_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130IRSMSX102gercor_--