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 ESMTPS id 0FE2C5D5 for ; Mon, 13 Jan 2020 00:20:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,426,1571695200"; d="scan'208,217";a="430992983" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Jan 2020 01:20:53 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 24AC57F3D1; Mon, 13 Jan 2020 01:20:52 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 826017ED1F for ; Mon, 13 Jan 2020 01:20:45 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f65.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AoHm8kB0cBFrZLB1PsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0fLfad9pjvdHbS+e9qxAeQG9mCsLQe1bud6fmocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTSwbalsIBi3qQjdudcajZZ/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTlkz?= =?us-ascii?q?kMOSIn/27Li8xwlKNbrwynpxxj2I7ffYWZOONjcq/BYd8WQGxMVdtTWSNcGIOx?= =?us-ascii?q?d4QAD+QDMuhYoYfzpEYAowWiCgS3Huzj1iVFi2Xq0aEm0eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtNf6O70cUO+v1qnD0CnOb/ZX2Tf79YPFdRAgruuCXL1qa8rd01MgFwbEjlWW?= =?us-ascii?q?soHlMDaV2f4Ms2if9eZvSeWvi2s+pgx3vzOhyMAsiozTiYIUzFDJ7Tl2wIEoKt?= =?us-ascii?q?KmUkJ7ZNqkHZ1NvC+ZL4t7Wt0uT31stSogybALuYS3cDULxZkm3RLSavyKfo6V?= =?us-ascii?q?6Rz5TumROy13hHd9dbK/mRmy9U+gx/X5Vsau0VZKqjNJktjLtnwQzhDT5MmKR/?= =?us-ascii?q?tn8keu3jaP0A/T6uVaLkwuiaXbLJshzqYxlpoVr0vDAjf7lFvqgKKSbEkp+eil?= =?us-ascii?q?5/76brjnp5KQLY55hwHmPqQrgMO/AOA4MgYUX2ic/OSxzL3i8lf3QbpQlP06iL?= =?us-ascii?q?PWsJXbJcQdvaO5DApV3Zwi6xa7FTupzNMYnXwfIFJfZB2Hl5TpO03JIP3gEfiw?= =?us-ascii?q?mVGskDNyy/DCP73hGYnNI2PYkLbheLZ981RTxBAyzdBZ/ZJUC6sOLOj9Wk/r55?= =?us-ascii?q?TkCUoDNAa52fqvLch50o4EETaVBaWUKr+UtEKM4u81ecGDYYYUvHD2LP1ztND0?= =?us-ascii?q?inpsqFYCdLPh9J4WbjjsD/15Kl/faH/thP8OFG4Lukw1S+m82w7KaiJae3vnB/?= =?us-ascii?q?F03To8Eo/zSN6bHtn80ozE5z+yG9htXk4DD1mNFXnycIDdAqUDbSuTJolqlTlW?= =?us-ascii?q?DOH9Gb9k7gmnsUrB85QiNvDdo3RKupfq1dwz7OrWx0lrqG5ESv+F2mTIdFla22?= =?us-ascii?q?MFQzhsgfJ6qE15j1aEiO123aEeGttU6PdEFAw9MMyEwg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DiLACTthteTEGmVdFlgkOBPgIBZiYBA?= =?us-ascii?q?UQgNDMWFIQMgRyCXoQrhnWCEYNWj1WGEYF6CQEDAQwbFAEBhEACgXIcBwEEOAI?= =?us-ascii?q?NAhABAQQBAQECAQIDBAEGAQEWDAsFhWkMgjspAYJ6AQEBAgESEQQZARsdAQMBC?= =?us-ascii?q?wYFBAcHMAICIQEBEQEFAQgGDgYTIoMFgkkBAw4gnAeBAz2LJn8WBQEXgn8FhFc?= =?us-ascii?q?KGScNYwOBMQIHEoEiAwEBjBYPgUw/gUeCXT6CG4U+gl4El2uXDUQHgjp2BIZBi?= =?us-ascii?q?kyEJhuDPpcumVeQEw8jgV01gS4zGiNQMYI7CUcYDYt0hCCGUSYwj1gBAQ?= X-IPAS-Result: =?us-ascii?q?A0DiLACTthteTEGmVdFlgkOBPgIBZiYBAUQgNDMWFIQMgRy?= =?us-ascii?q?CXoQrhnWCEYNWj1WGEYF6CQEDAQwbFAEBhEACgXIcBwEEOAINAhABAQQBAQECA?= =?us-ascii?q?QIDBAEGAQEWDAsFhWkMgjspAYJ6AQEBAgESEQQZARsdAQMBCwYFBAcHMAICIQE?= =?us-ascii?q?BEQEFAQgGDgYTIoMFgkkBAw4gnAeBAz2LJn8WBQEXgn8FhFcKGScNYwOBMQIHE?= =?us-ascii?q?oEiAwEBjBYPgUw/gUeCXT6CG4U+gl4El2uXDUQHgjp2BIZBikyEJhuDPpcumVe?= =?us-ascii?q?QEw8jgV01gS4zGiNQMYI7CUcYDYt0hCCGUSYwj1gBAQ?= X-IronPort-AV: E=Sophos;i="5.69,426,1571695200"; d="scan'208,217";a="335556424" X-MGA-submission: =?us-ascii?q?MDFqIWtoEgYdp1pfxxyN7nn7qKlIAUAzFlW3Mn?= =?us-ascii?q?RPWXOsHf0XiC436LCjqXb8x0YGZkZMNB2hjlhjbBe17JcXmn1PWyxMEN?= =?us-ascii?q?1Sfnor33NxpVLyOyPA8zv4VGDSAC9fsdt8wquhSkHPO6XiROQpoF88mx?= =?us-ascii?q?l3Ln4hshovkrASpTu+MYgIHQ=3D=3D?= Received: from mail-io1-f65.google.com ([209.85.166.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Jan 2020 01:20:44 +0100 Received: by mail-io1-f65.google.com with SMTP id x1so7997153iop.7 for ; Sun, 12 Jan 2020 16:20:44 -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=GhdTjkdMF1N/XTXq9zgHgge2rgww9ZIVOgmJ2AyjR7c=; b=FWl2oMEdC/YDXj+hIO4SM/By4wN6hb2HueBtavN5m4hVIzvY8fWOpKju7MRjazTA6H 7v0neA/fUHTV6m56qWDff2R326WKkXDmkX/nBiq5tLE5nRfbSfHtyQF6vhoY0LQUz10r q3COw2apEC1oR+C8SReIXV7sDEpTq0a7MQZh83wa+CILCvOyTgPoidli1QhMXqE1BTNA 5n+sf+tAwo4hkUQZMBv3AUnCenLE4zxDOXzVV2pmuDBK++1jyeJO6ue2jcODLN0yEDJF UB431Hu76tOZ4NsbosEPDMK+ez1gouuFVtEcPbAz/Z4aiDXTpDHjSZVPuglHvHeUHd5i 84vQ== 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=GhdTjkdMF1N/XTXq9zgHgge2rgww9ZIVOgmJ2AyjR7c=; b=ZZv0Xyd8hvikznOKf2+zBwynaz6mj0aRD6Flib6H2w/eTfpFd34qy42sKSppDxe3J+ Qnpnk+vWYiVIvVB4FJ/EhggCUQAUwrQLyujt5ZABheo6HrbvEi6mWwOzGI+sGV2gtK36 +VpC/tsrhURyB8r6PrkI8C6rMTBkd5ElJ7FTOfhQ9UIWRcYklJx6u70DNDcmCjA22oG2 ct/CjeBdUSz06zGxheechNbRrKTvVStlcmn8AJjUhNLXN9rPKdGv1lWucakQjo8PuwTn kfu+1j7fQdQRbzNyaOngAiSUYG5nwsjAe21J5iQY5O+oehdKt3Kdv2nbEIMdEopD2fqT dACw== X-Gm-Message-State: APjAAAUF32BDfDgDC6zhJK2YSVFDyQs7lzfmMlDjFvQ5VuuNEpxxPgVA 3i2B4fT6b5pgRGTT1vHKMPMkmsSeQweee8f+NA== X-Google-Smtp-Source: APXvYqxS1AQF3YeH+UBGz2Ikxfmadb8b8PtCOy4VEAAl2UNTfn7HQFt5tchdtaGjdsWY+6+EEVubBYhtMMdOQVtHfiY= X-Received: by 2002:a6b:e30e:: with SMTP id u14mr10910040ioc.242.1578874842800; Sun, 12 Jan 2020 16:20:42 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Yawar Amin Date: Sun, 12 Jan 2020 19:20:29 -0500 Message-ID: To: Robert Muller Cc: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= , Ocaml Mailing List Content-Type: multipart/alternative; boundary="000000000000266a96059bfa722f" Subject: Re: [Caml-list] make -> dune: recommended structure Reply-To: Yawar Amin X-Loop: caml-list@inria.fr X-Sequence: 17950 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: --000000000000266a96059bfa722f Content-Type: text/plain; charset="UTF-8" Hi, On Sun, Jan 12, 2020 at 6:07 PM Robert Muller wrote: > One year later, take-two on transitioning from make to dune for an > OCaml-based PL course. We have a course library, say, code.cma, stored in a > folder outside the dune workspace, say /Users/studentX/lib/, several course > projects use the definitions in this course library. > Instead of trying to share a code.cma file, perhaps you could distribute an opam/dune project skeleton with the library source code, code.ml? Then the problem of trying to tell dune where code.cma is goes away :-) > I could be wrong, but it seems this setup (with a standard site library > code.cma) is pretty common, > I've never heard of it. From what I understand, OCaml, opam, and dune all heavily encourage compiling projects from source because of potential system/architecture differences. Regards, Yawar --000000000000266a96059bfa722f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

On Sun, Jan 12, 2020 at 6:07 PM Ro= bert Muller <robert.muller2@= gmail.com> wrote:
One year later, take-two on transitioning=C2=A0= from make to dune for an OCaml-based PL course. We have=C2=A0a course libra= ry, say, code.cma, stored in a folder outside the dune workspace, say /User= s/studentX/lib/, several course projects use the definitions in this course= library.=C2=A0

Inst= ead of trying to share a code.cma file, perhaps you could distribute an opa= m/dune project skeleton with the library source code, code.ml? Then the problem of trying to tell dune where code.cma i= s goes away :-)
=C2=A0
I could be wrong, but it = seems this setup (with a standard site library code.cma) is pretty common,<= /div>

I've never heard of i= t. From what I understand, OCaml, opam, and dune all heavily encourage comp= iling projects from source because of potential system/architecture differe= nces.

Regards,

Yawar<= br>
--000000000000266a96059bfa722f--