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

Carsten Gräser graeser at mi.fu-berlin.de
Tue Jan 22 15:31:16 CET 2019


Am 22.01.19 um 15:20 schrieb Anil Madhavapeddy:
> Dear Andreas, Oliver,
> 
> Thanks very much for this; we really appreciate it from OCaml.  Let us
> know if there’s anything we can do from our end to ensure there is no
> confusion about our use of /usr/bin/dune and your /usr/bin/duneproject
> invocations for your build system.
> 
> best,
> Anil
> 
>> On 22 Jan 2019, at 12:02, Dedner, Andreas <A.S.Dedner at warwick.ac.uk
>> <mailto:A.S.Dedner at warwick.ac.uk>> wrote:
>>
>> I'm fine with this as well
Me too.

Carsten


>> Andreas
>> ------------------------------------------------------------------------
>> *From:* Dune-devel <dune-devel-bounces at lists.dune-project.org
>> <mailto:dune-devel-bounces at lists.dune-project.org>> on behalf of
>> Oliver Sander <oliver.sander at tu-dresden.de
>> <mailto:oliver.sander at tu-dresden.de>>
>> *Sent:* 22 January 2019 11:45:42
>> *To:* dune-devel at lists.dune-project.org
>> <mailto:dune-devel at lists.dune-project.org>; anil at recoil.org
>> <mailto:anil at recoil.org>; jeremie at dimino.org <mailto:jeremie at dimino.org>
>> *Subject:* Re: [Dune-devel] Request about the /usr/bin/dune filename
>>  
>> > 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 don't see us needing those names in the nearer future.  As far as I
>> am concerned
>> we can give them up.
>>
>> > 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. 
>>
>> <humour> ... unless we rewrite our code to use ocaml and the dune
>> build system</humour>
>>
>> --
>> Oliver
> 
> 
> _______________________________________________
> Dune-devel mailing list
> Dune-devel at lists.dune-project.org
> https://lists.dune-project.org/mailman/listinfo/dune-devel
> 


-- 
Prof. Dr. Carsten Gräser
Freie Universität Berlin
Institut für Mathematik
Arnimallee 6
14195 Berlin, Germany
phone: +49 30 838 72637
fax  : +49 30 838 472637
email: graeser at mi.fu-berlin.de
URL  : http://page.mi.fu-berlin.de/graeser

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20190122/63d4c92e/attachment-0001.sig>


More information about the Dune-devel mailing list