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

[Anil Madhavapeddy]

Dear Christian,

Agreed from the OCaml side: we think the Debian package should be called “libocaml-dune” or “ocaml-dune” as you suggest.

The difficult thing for us to change is the use of /usr/bin/dune, since our build system is invoked from Makefiles in hundreds of 3rd party packages, so renaming the binary is difficult.

regards,
Anil

> On 23 Jan 2019, at 14:06, Christian Engwer <christian.engwer at uni-muenster.de> wrote:
> 
> Hi,
> 
> As there are so many different packages with the name dune or something related, I'd rather suggest not too many any package "dune". For example the buildsystem could be called "ocaml-dune", whitedune already has a distinct name and DUNE might be called "libdune" or "dune-project"...
> 
> Christian
> 
> Am 23. Januar 2019 14:40:50 MEZ schrieb "Jö Fahlke" <jorrit at jorrit.de>:
>> Hi Christian, Robert, Dominic, Steffen, Markus,
>> 
>> not wanting to exclude anyone else, but if anyone has a different
>> opinion on
>> this matter I guess it would be one of you.  Do you see a reason not to
>> let
>> dune (an ocaml buildsystem) have the executable name "/usr/bin/dune"
>> and
>> package names such as "dune" and "libdune-ocaml-dev" in Debian?
>> 
>> At least something along the lines of "busy right now, need more time",
>> "I
>> guess if you guys are OK with it it can't be too bad" or "don't care"
>> would be
>> good.
>> 
>> See
>> https://lists.dune-project.org/pipermail/dune-devel/2019-January/002419.html
>> for our Discussion so far, and https://bugs.debian.org/919951 for the
>> whole
>> drama.
>> 
>> Regards,
>> Jö.
>