From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 9582B5D5 for ; Sun, 2 Dec 2018 18:27:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,307,1539640800"; d="scan'208,217";a="358358509" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Dec 2018 19:27:54 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 33E5F824CF; Sun, 2 Dec 2018 19:27:54 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9B0F3824CF for ; Sun, 2 Dec 2018 19:27:43 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vietlq85@gmail.com; spf=Pass smtp.mailfrom=vietlq85@gmail.com; spf=None smtp.helo=postmaster@mail-vs1-f50.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AtnjaSRHbHnftepK7d/6N4p1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpsWwAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95eWCxPAIyy?= =?us-ascii?q?b4UBAekcM+hGs4bwvEEBoQekCAS2GO/j1j1Fi3nr1qM6yeQhFgTG0RQvENIPrn?= =?us-ascii?q?vUsMj+OqEMXuuoy6TI0zTDYO1K2Tf58YjFcRAsrOqDXbJ1a8XRyE0vGxnZgVWX?= =?us-ascii?q?rIzoJjWY3fkDvWic6upvT+Ovi2g/pgF2vjeg3MIsio3TioIS0FDE+j11z5soJd?= =?us-ascii?q?2+VkF3eMakEIFXtyGYKYR5Xt8iT3tvuCYgxb0KoZ+7fC4QyJQm3RHTcfKHc5KO?= =?us-ascii?q?7xn+V+iROS91iGx5dL+7nRq/8kitxvfiWsWp0ltGtCpInsXKu3sQzRLc8NKHRe?= =?us-ascii?q?F4/kq52TaAyQTT6uZcLEAxj6XbKpohzqculpoIrEjPByH2lUXqgKOMeUUk/e+o?= =?us-ascii?q?6+vjYrr4vJOTK4h0igTmPqQvnMywH/g4PxAQU2SH/emwzr7u8E3jTLlUk/E7kL?= =?us-ascii?q?PVvZDGKcgDo662GQ5V0oIt6xalCDem1cwVnWcGLF1bZBKHi5HpNlLOLf3jAve/?= =?us-ascii?q?hk6jkDZvx/zcIrLhBZDNImDZkLj9ZbZ991JcyA0rwN9D/Z1UD7UBLOv3Wk/wr9?= =?us-ascii?q?zYEgQ0Mxe0wubiENVyzJkSWWOJAq+DMaPdq0WE5uw1I7rEWIhAmDv7J+Ik5LbE?= =?us-ascii?q?ing80QsdcK+lx5oUQGy/BvNnZV2eZmOqidAERzQkpA07GdLrhUHKdTMbM2izUr?= =?us-ascii?q?44/2FmII2jBIbHAIuqherSj2+AApRKazUeWRi3GnDyetDBAq9UMXPAEopaijUB?= =?us-ascii?q?EIOZZcok3BCquhX9zuM+fOXR8ywc85nk0YosvrGBpVQJ7TVxSv+l/SSVVWgtxz?= =?us-ascii?q?EHQjY32OZ0pkkvkg7eg5g9uORREJlo390MUgo+MsSBnelzCtS3RBmYO9nUEBCp?= =?us-ascii?q?RdKpBTx3RdU0kYcD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7AwCBIwRchjLZVdFiHQEBBQEHBQGBZ?= =?us-ascii?q?YIpAUBPMyeDeVJLgl6QJYINiH6BEodigi6FIg0jhEkCgzQaBwEENBIBAwEBAgE?= =?us-ascii?q?BAQEBEwEBAQgLCwgpIwyCNiQBgmIBAgIBIx0BGxILAQMBCwYFBAcaHQICIgERA?= =?us-ascii?q?QUBHAYTgyEBgWgBAw0ID5Y5PIsNgRIFAReCdwWELgoZJw1dUGcCBhKMCoIWg3U?= =?us-ascii?q?uhFlVgleCVwKBKgEBjgKREQEGAgENgUcFSoRdhiaEFhiCKI5+jWmKdQ8hgRMpg?= =?us-ascii?q?XZwUDFtgU4JghIag1OBPoNWhT9CMIp3gj4BAQ?= X-IPAS-Result: =?us-ascii?q?A0A7AwCBIwRchjLZVdFiHQEBBQEHBQGBZYIpAUBPMyeDeVJ?= =?us-ascii?q?Lgl6QJYINiH6BEodigi6FIg0jhEkCgzQaBwEENBIBAwEBAgEBAQEBEwEBAQgLC?= =?us-ascii?q?wgpIwyCNiQBgmIBAgIBIx0BGxILAQMBCwYFBAcaHQICIgERAQUBHAYTgyEBgWg?= =?us-ascii?q?BAw0ID5Y5PIsNgRIFAReCdwWELgoZJw1dUGcCBhKMCoIWg3UuhFlVgleCVwKBK?= =?us-ascii?q?gEBjgKREQEGAgENgUcFSoRdhiaEFhiCKI5+jWmKdQ8hgRMpgXZwUDFtgU4JghI?= =?us-ascii?q?ag1OBPoNWhT9CMIp3gj4BAQ?= X-IronPort-AV: E=Sophos;i="5.56,307,1539640800"; d="scan'208,217";a="358358470" Received: from mail-vs1-f50.google.com ([209.85.217.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Dec 2018 19:27:42 +0100 Received: by mail-vs1-f50.google.com with SMTP id e7so6222665vsc.2 for ; Sun, 02 Dec 2018 10:27:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=xiY8XaqvYJ3QZJJuWYjxY27iXkXvGuTJUq6LgqYZgz4=; b=GKXiKc3Izhu/3FnDpqnvGhAIlKuUrD4+Oa8MsyQs9N3AwnXeXWekXfpw+v8CMcqIGA aTvndyklDWP7xCr7eDR4YnZzmYyzW7sqzrxJQA4w+S0ZsAegvbDMhvRFPeU3XZHYT0SA yWLBBdfV7fVJl0xS/s4DYFxu4Coif/UP7XWEsDj+BNboHYRogT1MX7tgCH1nM/KRgLPa VdlsaaARilgLw08X+7fOZvhmVl6tFnCCvm13UddDztCJ8k0HnTun+IWttxO+6OUatW6J Ec6n4ylv+OfqimYKrc5rtOjiA13r+KAhPjGutQWsyFJHr5K12Vmex9wxMOxm0Zm1l6as rxSg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=xiY8XaqvYJ3QZJJuWYjxY27iXkXvGuTJUq6LgqYZgz4=; b=Gob1aZEd/KFW56VGFv09uIfv6SXSd//QobBZfYHzTQ12R1kQwcVAiZhdtnRWFrkgSh M5W2t2vc2fRB1HAciA9e+s5D8a4IRBPfxxHbgWxBlD3ra5yHMlLJPG9nAF61VTyWYTtd 1cBLGvHgBjHxjumrLBQCBxM4mNFjb+itmlvHsbA/MtJGiiXlub1GvN4XlXdIsXlvx11B vyRzKdJtYOp9twj76oTt9ALznW1xS19cSvu5DwKUG2CjquAuQwOfl0c8XzUQAPji5eG2 pkhSYOQXCKqTDQ3lg5VLb2fqw5O4FFQvOZ0pgqAyt7gCqW6q9zTSebBcUPo0MuRe2VTC bShg== X-Gm-Message-State: AA+aEWaX8h/NyLJ/D7KPCsLLmb6Ecb6vFgYPZjKT2rneEAJN4kg6A8Bv TJ5Stc7oVhS92synfgbY0ouLq9nDJVDytRtLfig/4w== X-Google-Smtp-Source: AFSGD/WaIKWKK9DTpoxZaSOuSNP5FDDCKrw5+jew5lsGBh9FbyZv3iU4Lgh8415mZvV7VWgUq2pALUzEwZPCjPevIYY= X-Received: by 2002:a67:300c:: with SMTP id w12mr5558897vsw.36.1543775261512; Sun, 02 Dec 2018 10:27:41 -0800 (PST) MIME-Version: 1.0 References: <20181202180501.i2223eddsbwwjmk7@topoi.pooq.com> In-Reply-To: <20181202180501.i2223eddsbwwjmk7@topoi.pooq.com> From: Viet Le Date: Sun, 2 Dec 2018 18:27:30 +0000 Message-ID: To: Hendrik Boom Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000135f64057c0e3078" Subject: Re: [Caml-list] dune has an infortunate tool name collision Reply-To: Viet Le X-Loop: caml-list@inria.fr X-Sequence: 17204 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000135f64057c0e3078 Content-Type: text/plain; charset="UTF-8" But the C++ dune project has no OCaml library. A new OCaml wrapper must be named differently then: https://gitlab.dune-project.org/staging/dune-functions On Sun, 2 Dec 2018 at 18:05, Hendrik Boom wrote: > dune is a new packaging tool for ocaml. > > Unfortunately, dune is also a Distributed and Unified Numerics > Environment, used for splving partial differential equations: > https://www.dune-project.org/ > > Should one of the names be changed? > > -- hendrik > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > https://inbox.ocaml.org/caml-list > Forum: https://discuss.ocaml.org/ > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Kind regards, Viet -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs --000000000000135f64057c0e3078 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
But the C++ dune project has no OCaml library. A new= OCaml wrapper must be named differently then:


On Sun, 2 Dec 2018 at 18:05, Hendrik Boom <hendrik@topoi.pooq.com> wrote:
dune is a new packaging tool for ocaml.

Unfortunately, dune is also a Distributed and Unified Numerics
Environment, used for splving partial differential equations:
https://www.dune-project.org/

Should one of the names be changed?

-- hendrik


--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list htt= ps://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs
--
Kind regards,
<= /div>
Viet
--000000000000135f64057c0e3078--