caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Soegtrop, Michael" <michael.soegtrop@intel.com>
To: "caml-list@inria.fr" <caml-list@inria.fr>
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)
Date: Fri, 24 Jun 2016 15:33:36 +0000	[thread overview]
Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130@IRSMSX102.ger.corp.intel.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 1615 bytes --]

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 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 installed 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"        {>= "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 113.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 different. Does opam somehow modify the opam files in the 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.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

[-- Attachment #2: Type: text/html, Size: 4846 bytes --]

             reply	other threads:[~2016-06-24 15:34 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-06-24 15:33 Soegtrop, Michael [this message]
2016-06-28 15:17 ` Thomas Gazagnaire

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130@IRSMSX102.ger.corp.intel.com \
    --to=michael.soegtrop@intel.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).