[Dune-devel] Request about the /usr/bin/dune filename

Jö Fahlke jorrit at jorrit.de
Tue Jan 22 11:58:53 CET 2019


Am Mo, 21. Jan 2019, 17:03:17 +0100 schrieb Ansgar Burchardt:
> On Mon, 2019-01-21 at 16:52 +0100, Jö Fahlke wrote:
> > Am Mo, 21. Jan 2019, 15:10:18 +0000 schrieb Jeremie Dimino:
> > > I am the original author of the dune build system [1] for the OCaml
> > > language. I'm writing to you as we are having trouble getting our
> > > software accepted in Debian. Indeed, it has been suggested that the
> > > "dune" package name and "/usr/bin/dune" filename should be reserved
> > > for your Dune project which is already in Debian, in case you would
> > > like to use these names in the future.
> > 
> > This sound like there has been some previous discussion somewhere (e.g. Debian
> > mailinglists or bugtracker).  Any chance you can point us to such discussion?
> 
> See https://bugs.debian.org/919951
> 
> This was originally about dune (the ocaml build tool) and whitedune (a
> 3D modelling tool) both shipping /usr/bin/dune.  I'm not sure why DUNE
> (the numerics framework) got involved...
> 
> There is also Deep Underground Neutrino Experiment (DUNE) (
> http://www.dunescience.org/) and the Dune computer games...
> 
> > Also, Debian buster just went into freeze, so am I assuming correctly this is
> > not urgent at this point in time (our Debian connection is kind-of busy at the
> > moment as far as I know, but his input would certainly be valuable...)
> 
> Depends; there is a RC bug to block an updated dune package (the ocaml
> one) to enter testing (but the version already in testing already ships
> /usr/bin/dune, so meh).

So this is kind-of urgent and a statement from us that we can live without
those names would help to resolve the situation...

> > > This is problematic as our
> > > build system has become the most used build system in the OCaml
> > > community over the past two years.
> > > 
> > > Given that our software is a command line tool, the name of the tool
> > > is extremely important to us. So I was wondering if it would be an
> > > issue for you if we used the "dune" package name and the
> > > "?usr/bin/dune" filename?
> 
> I don't think DUNE (the numerics framework) will ship /usr/bin/dune.  I
> thought about introducing a "dune" meta-package that would depend on
> all DUNE modules available in Debian, but that could just be called
> "libdune" instead; that way it would sort close to the other libdune-*
> packages.

I tend to agree with Ansgar here.  Unless one of the other developers comes up
with a good reason why we should reserve those names.

I do find it unfortunate however that this clash has to happen with a
buildsystem -- after all, everything we provide under /usr/bin has to do with
our buildsystem.  There is a good chance of confusion as to which buildsystem
exactly /usr/bin/duneproject will create a skeleton project for.  Well, to
late anyway, can't be helped I guess.

Regards,
Jö.

-- 
Jorrit (Jö) Fahlke, Institute for Computational und Applied Mathematics,
University of Münster, Orleans-Ring 10, D-48149 Münster
Tel: +49 251 83 35146 Fax: +49 251 83 32729

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20190122/1b868bf6/attachment.sig>


More information about the Dune-devel mailing list