X-Recipient: archive-cygwin@delorie.com
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F0A4E3851C13
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cygwin.com;
	s=default; t=1591607671;
	bh=qy/WCjAIqVD+S6/KqJSRpdfxHuGrvLNCaGgVeNe1txI=;
	h=To:Subject:Date:References:In-Reply-To:List-Id:List-Unsubscribe:
	 List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To:
	 From;
	b=a2awdLytVFr/t6NuQDEXmSBXFY0sbh3qFSJPsL4ZZVpXDpdUHimnyq2nJptL295ZL
	 5cSDiswhXUbq9cQ1RH74WpN9f36urt6e6zB3r1hA+igF4zCGCKdokcEwNaA99oP2s2
	 +Ndiv0L8kgh3BEBv04j0C/ZoaatIDjocpm7oQk68=
X-Original-To: cygwin@cygwin.com
Delivered-To: cygwin@cygwin.com
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org DD4663851C06
To: "cygwin@cygwin.com" <cygwin@cygwin.com>
Subject: RE: opam package should depend on ocaml-compiler-libs
Thread-Topic: opam package should depend on ocaml-compiler-libs
Thread-Index: AdY0yWOIhYN460JrQFiXNopcR47fggFq/qoAAL+4vTA=
Date: Mon, 8 Jun 2020 09:14:21 +0000
Message-ID: <b50f918022fc427ca575a57197fe5e79@metastack.com>
References: <000501d634d2$5ebc65f0$1c3531d0$@cl.cam.ac.uk>
 <6331360f-ee38-d41e-ab30-cca991c3cf5c@SystematicSw.ab.ca>
In-Reply-To: <6331360f-ee38-d41e-ab30-cca991c3cf5c@SystematicSw.ab.ca>
Accept-Language: en-GB, en-US
Content-Language: en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
x-originating-ip: [172.16.0.125]
MIME-Version: 1.0
X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20
X-Server-Quench: 72f0ab64-a968-11ea-8a6b-8434971169dc
X-AuthReport-Spam: If SPAM / abuse - report it at:
 http://www.authsmtp.com/abuse
X-AuthRoute: OCd1ZAARAlZ5RRob BmUtCCtbTh09DhZI RxQKKE1TKxwUVhJa
 I0lFL1x7O0wTWlBf HTVUBhpUWEILHD1q aQpTbRVcYkBPWw9o VQZPQExRFRtvBgID
 AAEcVwZzOQVDcHcF Gk47XnRfVER+O0N9 SkcaEm9QZTYybmQC AUlefx5VcVYbYxcU
 bAJiXHcOZWwAZ3tm TgM4KQocb31YMC1Q ChkEJlEbTktDBT47 WhQOVTkiBUADS200
 KVQhIVcZGAMaNUAq MF8sQxccMhUJYgAA 
X-Authentic-SMTP: 61633634383431.1024:7242
X-AuthFastPath: 0 (Was 255)
X-AuthSMTP-Origin: 62.31.77.26/25
X-AuthVirus-Status: No virus detected - but ensure you scan with your own
 anti-virus system.
X-Spam-Status: No, score=-4.2 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@cygwin.com
X-Mailman-Version: 2.1.29
List-Id: General Cygwin discussions and problem reports <cygwin.cygwin.com>
List-Archive: <https://cygwin.com/pipermail/cygwin/>
List-Post: <mailto:cygwin@cygwin.com>
List-Help: <mailto:cygwin-request@cygwin.com?subject=help>
List-Subscribe: <http://cygwin.com/mailman/listinfo/cygwin>,
 <mailto:cygwin-request@cygwin.com?subject=subscribe>
From: David Allsopp via Cygwin <cygwin@cygwin.com>
Reply-To: David Allsopp <David.Allsopp@cl.cam.ac.uk>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Sender: "Cygwin" <cygwin-bounces@cygwin.com>

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.


David 
--
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
