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

[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).

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

Ansgar