From: "Emilio Jesús Gallego Arias" <e@x80.org>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>,
caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] LablGtk3 beta1
Date: Fri, 07 Dec 2018 19:34:59 +0100 [thread overview]
Message-ID: <8736r9mbho.fsf@x80.org> (raw)
In-Reply-To: <CAPFanBEPqxj29X=bXZf5U+2wAmudXctwn_Kz5A-FncT4+KrqFA@mail.gmail.com> (Gabriel Scherer's message of "Fri, 7 Dec 2018 11:25:12 +0100")
Hi Gabriel,
Gabriel Scherer <gabriel.scherer@gmail.com> writes:
> If several OCaml package have system dependencies in common, (of
> several versions of the same OCaml package), indicating depexts
> per-package duplicate the information. This is what we were doing
> before and in practice most package depexts were perpetually
> out-of-date.
>
> Some information in the conf-package is rather canonical from system
> to system (such as: the pkg-config name, even though there is still
> variation unfortunately), some is highly system-dependent (the package
> name in the package manager); I think it's reasonable to also have the
> "canonical" information in the build system.
Umm, indeed that may make sense very widely used packages, such as `m4`,
etc... I am not sure this makes sense for gtk tho; right now we have:
lablgtk2.opam
lablgtk2-glade.opam
lablgtk2-gnomecanvas.opam
lablgtk2-gspell.opam
lablgtk2-rsvg.opam
lablgtk2-gl.opam
lablgtk2-gnome.opam
lablgtk2-sourceview2.opam
so adding so many conf- packages seems like a nuisance. Also it is
harder for consumers of the library to depend on the right packages;
this is the reason Debian uses this scheme:
liblablgtkmathview-ocaml-dev
liblabltk-ocaml-dev
liblablgl-ocaml-dev
liblablgtk2-gnome-ocaml-dev
liblablgtk-extras-ocaml-dev
liblablgtksourceview2-ocaml-dev
liblablgtk2-gl-ocaml-dev
liblablgtk2-ocaml-dev
I much prefer to depend on `lablgtk-sourceview` than on `lablgtk` and
`conf-gtksourceview`; not to say the issue with the side effects [see
below]
> Also, conf-* packages are very early in the dependency tree, so a
> pragmatic advantage is that they will fail early in the build,
> typically before you have installed all the OCaml dependencies and you
> start building the package itself. (Also, depending on the
> configure/build system, you may geta nice error if a dependency is
> missing, or a crappy compilation failure that can be hard for users to
> interpret).
In this case the error messages are the same I think. I am not sure the
"early in the build tree" is so important tho.
> If you edit a package to update system dependencies, you have the same
> recompilation issues. If you have to recompile *more* in the case of
> a conf-* package, it is because it introduced dependency sharing,
> which is a good thing -- making the repository more maintainable.
The thing is that I am coming from a world (Debian) were package builds
are required to be deterministic; what does editing a package to update
system dependencies mean? How is the repository going to be more
maintainable?
For example, in this case, installing `conf-gl` will force the
recompilation of `lablgtk`, and `conf-gl` could be pulled by an
unrelated package.
It seems very wrong to me that this sharing will actually force a
side-effect on a unrelated package.
IMVHO this is very non-standard behavior that I've only seen in OPAM and
makes things less maintenable indeed, for example if you want to have
Debian packages.
> I don't understand, the point is for lablgtk2-sourceview2 to depend
> on conf-gtksourceview2, so you should just use the first command
> and the conf-* package(s) will get installed as well.
I could do that, but what is the point on shipping a fake, empty package
then? `lablgtk2-sourceview2` can handle the dependencies just fine.
An even worse problem is this case: imagine package A and B both depend
on gtksourceview, however package A requires version > 2.10 and package
B version > 2.11.
How can the sharing possibly work here?
Cheers!
E.
next prev parent reply other threads:[~2018-12-07 18:35 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-12-06 6:33 Jacques Garrigue
2018-12-06 10:05 ` Louis Gesbert
2018-12-06 10:35 ` Gabriel Scherer
2018-12-07 10:04 ` Emilio Jesús Gallego Arias
2018-12-07 10:25 ` Gabriel Scherer
2018-12-07 18:34 ` Emilio Jesús Gallego Arias [this message]
2018-12-11 3:09 ` Francois Berenger
2018-12-11 11:34 ` Louis Gesbert
2018-12-14 11:41 ` Emilio Jesús Gallego Arias
2018-12-14 11:38 ` Emilio Jesús Gallego Arias
2018-12-16 8:12 ` Jacques Garrigue
2018-12-17 12:11 ` Emilio Jesús Gallego Arias
2018-12-18 14:33 ` David Allsopp
2018-12-19 1:20 ` Emilio Jesús Gallego Arias
2018-12-19 10:15 ` David Allsopp
2018-12-19 11:13 ` Emilio Jesús Gallego Arias
2018-12-19 11:50 ` David Allsopp
2018-12-19 16:41 ` Emilio Jesús Gallego Arias
2018-12-20 11:33 ` David Allsopp
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=8736r9mbho.fsf@x80.org \
--to=e@x80.org \
--cc=caml-list@inria.fr \
--cc=gabriel.scherer@gmail.com \
--cc=garrigue@math.nagoya-u.ac.jp \
/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