X-Recipient: archive-cygwin AT delorie DOT com
X-Original-To: cygwin AT cygwin DOT com
Delivered-To: cygwin AT cygwin DOT com
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 27945385DC00
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none)
 header.from=SystematicSw.ab.ca
Authentication-Results: sourceware.org;
 spf=none smtp.mailfrom=brian DOT inglis AT systematicsw DOT ab DOT ca
X-Authority-Analysis: v=2.3 cv=LKf9vKe9 c=1 sm=1 tr=0
 a=kiZT5GMN3KAWqtYcXc+/4Q==:117 a=kiZT5GMN3KAWqtYcXc+/4Q==:17
 a=IkcTkHD0fZMA:10 a=BR6wXjyFAAAA:20 a=RZ24vCjvlsqmbDxLIRQA:9 a=QEXdDO2ut3YA:10
Subject: Re: opam package should depend on ocaml-compiler-libs
To: cygwin AT cygwin DOT com
References: <000501d634d2$5ebc65f0$1c3531d0$@cl.cam.ac.uk>
 <6331360f-ee38-d41e-ab30-cca991c3cf5c AT SystematicSw DOT ab DOT ca>
 <b50f918022fc427ca575a57197fe5e79 AT metastack DOT com>
From: Brian Inglis <Brian DOT Inglis AT SystematicSw DOT ab DOT ca>
Autocrypt: addr=Brian DOT Inglis AT SystematicSw DOT ab DOT ca; prefer-encrypt=mutual;
 keydata=
 mDMEXopx8xYJKwYBBAHaRw8BAQdAnCK0qv/xwUCCZQoA9BHRYpstERrspfT0NkUWQVuoePa0
 LkJyaWFuIEluZ2xpcyA8QnJpYW4uSW5nbGlzQFN5c3RlbWF0aWNTdy5hYi5jYT6IlgQTFggA
 PhYhBMM5/lbU970GBS2bZB62lxu92I8YBQJeinHzAhsDBQkJZgGABQsJCAcCBhUKCQgLAgQW
 AgMBAh4BAheAAAoJEB62lxu92I8Y0ioBAI8xrggNxziAVmr+Xm6nnyjoujMqWcq3oEhlYGAO
 WacZAQDFtdDx2koSVSoOmfaOyRTbIWSf9/Cjai29060fsmdsDLg4BF6KcfMSCisGAQQBl1UB
 BQEBB0Awv8kHI2PaEgViDqzbnoe8B9KMHoBZLS92HdC7ZPh8HQMBCAeIfgQYFggAJhYhBMM5
 /lbU970GBS2bZB62lxu92I8YBQJeinHzAhsMBQkJZgGAAAoJEB62lxu92I8YZwUBAJw/74rF
 IyaSsGI7ewCdCy88Lce/kdwX7zGwid+f8NZ3AQC/ezTFFi5obXnyMxZJN464nPXiggtT9gN5
 RSyTY8X+AQ==
Organization: Systematic Software
Message-ID: <5b92a927-8db6-5e2b-8a57-ce91a7681fe9@SystematicSw.ab.ca>
Date: Mon, 8 Jun 2020 12:58:31 -0600
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101
 Thunderbird/68.9.0
MIME-Version: 1.0
In-Reply-To: <b50f918022fc427ca575a57197fe5e79@metastack.com>
Content-Language: en-CA
X-CMAE-Envelope: MS4wfNpJB0pGxyuCKxU0+jblR2j3LCmRyTRxNWOHa/Pc4ODCK9x2/7i4MSWOu33b8GUUAkLwU56/u6GHy3Glaz0W3SaD1qLWvo72C2r62tR15YUKWcwF76oW
 vyeHn90ocjWgs2HenfAtpeJDdHh+PHO3BtmJItBuLWFppvVVn8W0dYU85ebNzA9tSzjnFmE/LH5G/w==
X-Spam-Status: No, score=-12.4 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 KAM_LAZY_DOMAIN_SECURITY, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H3,
 RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE,
 TXREP autolearn=no autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: cygwin AT cygwin DOT com
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: General Cygwin discussions and problem reports <cygwin.cygwin.com>
List-Unsubscribe: <http://cygwin.com/mailman/options/cygwin>,
 <mailto:cygwin-request AT cygwin DOT com?subject=unsubscribe>
List-Archive: <https://cygwin.com/pipermail/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-request AT cygwin DOT com?subject=help>
List-Subscribe: <http://cygwin.com/mailman/listinfo/cygwin>,
 <mailto:cygwin-request AT cygwin DOT com?subject=subscribe>
Reply-To: cygwin AT cygwin DOT com
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Errors-To: cygwin-bounces AT cygwin DOT com
Sender: "Cygwin" <cygwin-bounces AT cygwin DOT com>

On 2020-06-08 03:14, David Allsopp via Cygwin wrote:
> Brian Inglis wrote:
>> On 2020-05-28 03:28, David Allsopp via Cygwin wrote:
>>> opam assumes that OCaml installed by the "OS" package manager is
>> "complete"
>>> (i.e. is the same as "make install" from the OCaml sources), which is
>>> a problem when "OS" package managers split upstream ocaml and don't
>>> install the ocaml-compiler-libs package by default.
>>>
>>> Please could either the opam or ocaml package be updated to depend on
>>> ocaml-compiler-libs. Fixes
>>> https://github.com/ocaml/opam-repository/issues/16457.
>>>
>>> Debian/Ubuntu and Fedora both also have ocaml-compiler-libs packages,
>>> but it's installed by their ocaml package as well.
>>>
>>> Arch chooses not to do this, having packages like ocaml-findlib
>>> expressly depending on ocaml-compilerlibs and so also has its opam
>>> package depend on ocaml-compilerlibs.
>>>
>>> As both an upstream OCaml and opam maintainer, I don't mind which
>>> package has the dependency, but if opam is installed, please can any
>>> system-installed ocaml definitely be "complete"!
>>
>> [current maintainer has resigned so packages are up for adoption]
>>
>> Cygwin packages are granular and dependencies are functional: which of the
>> Cygwin packages opam and opam-installer uses Cygwin package ocaml-
>> compiler-libs, or does opam use another ocaml package to build?
>>
>> Current packages are:
>> emacs-ocaml 4.10.0-1 x86_64
>> ocaml 4.10.0-1 x86_64
>> ocaml-base 4.10.0-1 x86_64
>> ocaml-cairo2 0.6.1-1 x86_64
>> ocaml-cairo2-gtk 0.6.1-1 x86_64
>> ocaml-cairo2-pango 0.6.1-1 x86_64
>> ocaml-calendar 2.04-2 x86_64
>> ocaml-camlp4 4.10-0.1 x86_64
>> ocaml-camlp5 7.11-1 x86_64
>> ocaml-camomile 1.0.2-1 x86_64
>> ocaml-camomile-data 1.0.2-1 x86_64
>> ocaml-compiler-libs 4.10.0-1 x86_64
>> ocaml-cppo 1.6.6-1 x86_64
>> ocaml-csv 1.7-1 x86_64
>> ocaml-ctypes 0.17.1-1 x86_64
>> ocaml-curses 1.0.4-1 x86_64
>> ocaml-curses-debuginfo 1.0.4-1 x86_64
>> ocaml-debuginfo 4.04.2-1 x86_64
>> ocaml-doc 4.10.0-1 x86_64
>> ocaml-dune 2.5.1-1 x86_64
>> ocaml-extlib 1.7.7-1 x86_64
>> ocaml-facile 1.1.3-3 x86_64
>> ocaml-fileutils 0.6.2-1 x86_64
>> ocaml-findlib 1.8.1-1 x86_64
>> ocaml-gettext 0.4.1-1 x86_64
>> ocaml-graphics 5.1.0-1 x86_64
>> ocaml-gv 2.40.1-5 x86_64
>> ocaml-integers 0.3.0-1 x86_64
>> ocaml-lablgl 1.06-1 x86_64
>> ocaml-lablglade2 2.18.10-1 x86_64
>> ocaml-lablgnomecanvas 2.18.10-1 x86_64
>> ocaml-lablgnomeui 2.18.10-1 x86_64
>> ocaml-lablgtk2 2.18.10-1 x86_64
>> ocaml-lablgtk3 3.1.0-1 x86_64
>> ocaml-lablgtk3-gtkspell3 3.1.0-1 x86_64
>> ocaml-lablgtk3-sourceview3 3.1.0-1 x86_64
>> ocaml-lablgtkgl2 2.18.10-1 x86_64
>> ocaml-lablgtksourceview2 2.18.10-1 x86_64 ocaml-lablgtkspell 2.18.10-1
>> x86_64 ocaml-lablrsvg 2.18.10-1 x86_64 ocaml-labltk 8.06.8-1 x86_64 ocaml-
>> libvirt 0.6.1.5-1 x86_64 ocaml-libvirt-debuginfo 0.6.1.5-1 x86_64 ocaml-
>> llvm 8.0.1-1 x86_64 ocaml-llvm-doc 8.0.1-1 x86_64 ocaml-num 1.3-1 x86_64
>> ocaml-ocamlbuild 0.14.0-1 x86_64 ocaml-ocamldoc 4.10.0-1 x86_64 ocaml-
>> ounit 2.2.2-1 x86_64 ocaml-result 1.5-1 x86_64 ocaml-runtime 4.10.0-1
>> x86_64 ocaml-source 4.10.0-1 x86_64 ocaml-topkg 1.0.1-1 x86_64 ocaml-xml-
>> light 2.3-0.2.svn234 x86_64
> 
> I don't quite understand your question - opam is OCaml's package manager.
> 
> It can either compile OCaml itself from sources or use the OCaml installed by the system's package manager. In the second case, it quite reasonably assumes that the OCaml which has been installed is the one the OCaml developers intended which includes its compiler-libs package. Given that opam depends on ocaml, it should also depend on ocaml-compiler-libs, therefore.

What you or the ocaml developers assume does not matter: what matters is how the
package works. If you do not understand the question and can not provide the
answer, I can see why the maintainer made his choice: he probably never used the
packages, just ran any tests included.
It appears that neither ocaml nor opam use ocaml-compiler-libs, otherwise the
cygwin build and packaging software would include it, so which package in the
ocaml suite actually binds the ocaml-compiler-libs to do its job, or does that
package just provide dynamic libraries which are expected to be present when
anyone runs ocaml programs?
In which case users would be expected to manually install the package
ocaml-compiler-libs.

-- 
Take care. Thanks, Brian Inglis, Calgary, Alberta, Canada

This email may be disturbing to some readers as it contains
too much technical detail. Reader discretion is advised.
[Data in IEC units and prefixes, physical quantities in SI.]
--
Problem reports:      https://cygwin.com/problems.html
FAQ:                  https://cygwin.com/faq/
Documentation:        https://cygwin.com/docs.html
Unsubscribe info:     https://cygwin.com/ml/#unsubscribe-simple