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 0F82C5D6 for ; Thu, 15 Aug 2019 06:38:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,388,1559512800"; d="scan'208";a="395462505" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Aug 2019 08:38:31 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E151F7EF0E; Thu, 15 Aug 2019 08:38:31 +0200 (CEST) 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 13CD17EF07 for ; Thu, 15 Aug 2019 08:38:28 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jocelyn.serot@uca.fr; spf=Pass smtp.mailfrom=jocelyn.serot@uca.fr; spf=None smtp.helo=postmaster@mta02.udamail.fr IronPort-PHdr: =?us-ascii?q?9a23=3AwpEx2xaTTNnOHLkz7V2tcnH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMS4bnLW6fgltlLVR4KTs6sC17OM9fm7ASdfvt6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMhm6txjdu8cKjYdtKKs8yAbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDM/7WrZiNF/jLhDrRyhuxNxzJPaboKbOvRgcazTesgXRXZYXsZUSyBBAp+w?= =?us-ascii?q?YosJAuEcPehYtY79p14WoBW6AgmjGP3gyjtIh3/wxaI0zv4mERvB3Aw8AtkDt3?= =?us-ascii?q?bUrNLpO6gMVeC0zK/IwS/Yb/xIwzf975TIfws8of6QR718a8TRyVM2Gg7Dk16e?= =?us-ascii?q?p4vlPzaP2eQMtWiW9+VgVeOzi24ntgF+uSKjydsrionMgI8e11PK9T1hzYooId?= =?us-ascii?q?C1RlR3bNGgHZdKqi2WKol7Ttk8T211oCo3yb4LtYSmcCULx5kr3RrSZ+Kdf4SW?= =?us-ascii?q?4h/vSOCcKipiin1/YrKwnROy/FCgyuLiUsm0105Hri9ZktbWqnwByQbf6tWaRf?= =?us-ascii?q?Rn+0euwzeP1wTJ5uFKO0A4javbK5g/zb4sjpcfrEDOEyHslEj5iKKabFgo9vWq?= =?us-ascii?q?5uj9fLnqu4eQN4puhQH/NqQulNa/AeM9MgUWXWib/viz26Pn/Uz5RrVGlOY2nb?= =?us-ascii?q?fDsJDdOcQWvbO5DBNP3Yo55Ra/FS+q0M4EknkfMFJFZBWHgpD1NF7UJfD4Ce6z?= =?us-ascii?q?g1CtkDdw2/DLJabhA5XILnjbirjtZ7d960hGyAoy199T/ZxUCqtSaM70D2T4sd?= =?us-ascii?q?iQKxY4Nw2yzOLmE8k1gogXXGbKBq6CLIvTt0WJ76QhOb/fSpUSvWPfLPMo4+/o?= =?us-ascii?q?ukS4g1gBNf2r2pAabGG+WO9rOUKFSWfni5EPCzFZ7UIFUOX2hQjaAnZobHGoUv?= =?us-ascii?q?dkv2BpOMedFY7GA7uVrvmE1Sa/EIdRYzAUF1uFV3nyJdzdBqU8LRmKK8okqQQq?= =?us-ascii?q?ELisT4h4hUOrqAaikfx6IuPR8ywc85z5hoAsu7/j0Coq/DkxNPyzlnmXRjEmg2?= =?us-ascii?q?gBATEsjvhy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AcCAB1/FRdhxV1McFmHAEBAQQBAQcEA?= =?us-ascii?q?QGBZ4MFA4EBKo0bhhCFd4wchV6DQ4FnCQEDAQwfEAEBh1AbBwEENBMCBAEBBAE?= =?us-ascii?q?BAQQBAwMEARMBAQEKCwkIKYUuDII6IoM1AQE4VWgugwcBgg4BCqk4giWCegEBB?= =?us-ascii?q?YczAwaBNItpghaBOB+DCoJhAoEpg3WCJqtRBwKBM2yGZIcOhlyCIIsvim+KI4s?= =?us-ascii?q?TjReDNoEvOIF5dEwqAYJBPoIEGh6DOoE+iRc+ATGPKQEB?= X-IPAS-Result: =?us-ascii?q?A0AcCAB1/FRdhxV1McFmHAEBAQQBAQcEAQGBZ4MFA4EBKo0?= =?us-ascii?q?bhhCFd4wchV6DQ4FnCQEDAQwfEAEBh1AbBwEENBMCBAEBBAEBAQQBAwMEARMBA?= =?us-ascii?q?QEKCwkIKYUuDII6IoM1AQE4VWgugwcBgg4BCqk4giWCegEBBYczAwaBNItpgha?= =?us-ascii?q?BOB+DCoJhAoEpg3WCJqtRBwKBM2yGZIcOhlyCIIsvim+KI4sTjReDNoEvOIF5d?= =?us-ascii?q?EwqAYJBPoIEGh6DOoE+iRc+ATGPKQEB?= X-IronPort-AV: E=Sophos;i="5.64,388,1559512800"; d="scan'208";a="395462497" X-MGA-submission: =?us-ascii?q?MDFn8Crxo0Sx33z1cbw+0lHqkW1mfzjSaHLvhX?= =?us-ascii?q?dZeznLUC4mR+NtDJLp362XdnPBnM/oR4BR/p4bwuFUiGrXKvmZRa5BFE?= =?us-ascii?q?Z/rhVmTSjTA6ogEsW0oaaTmIAcSpBgpOAwYWZTEWF7tHVyEcOAtGp1xc?= =?us-ascii?q?mztdRlVqN7UM1Bmij3xntN5Q=3D=3D?= Received: from mta02.udamail.fr ([193.49.117.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Aug 2019 08:38:27 +0200 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 468GxH3QRWzBsDd for ; Thu, 15 Aug 2019 08:38:27 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 468GxH2nvSzBsDb for ; Thu, 15 Aug 2019 08:38:27 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.10.3 mta02.udamail.fr 468GxH2nvSzBsDb DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1565851107; bh=XiTDX9bl1l5nP4MaBStUuRpNODqep1ai4aezBwhOEcE=; h=From:Message-Id:Date:To:Mime-Version; b=HkhXodzPGFL07NL29lPjrxN9RrqjznMhxE1xJbro5HO4sPU23YoemnsAcxjaPuqYp +bt6cu/IYbUoM6ThbDiRqe96m+OXGuKsolzUhj4tbVXX8JubnNripoOYzsHYDhAYBg k54KQwO13F5ZBzYjMARRYvkqlQkLABYsvNRRKvrk= X-Virus-Scanned: amavisd-new at mta02.udamail.fr Received: from mta02.udamail.fr ([127.0.0.1]) by localhost (mta02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id P7kbY_zG1qiw for ; Thu, 15 Aug 2019 08:38:27 +0200 (CEST) Received: from proxy01.udamail.fr (unknown [193.49.117.26]) by mta02.udamail.fr (Postfix) with ESMTPS id 468GxH1vbzzBsDR for ; Thu, 15 Aug 2019 08:38:27 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 468GxH16zTzBnBY for ; Thu, 15 Aug 2019 08:38:27 +0200 (CEST) Received: from proxy01.udamail.fr ([127.0.0.1]) by localhost (proxy01.udamail.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id FJMMT_PsRS_c for ; Thu, 15 Aug 2019 08:38:26 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 468GxG4lTPzBnBw for ; Thu, 15 Aug 2019 08:38:26 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.10.3 proxy01.udamail.fr 468GxG4lTPzBnBw DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1565851106; bh=XiTDX9bl1l5nP4MaBStUuRpNODqep1ai4aezBwhOEcE=; h=From:Message-Id:Date:To:Mime-Version; b=ftAjfeTrqsqmiZncgF/87zB7U0EYXOIM01jEkG01gttUSaFdVVIUL84S/FxdMW5Tc s7TUbJl30IGFxqyXzfpDLQAbXmoEBlS7JhgQqOHDAxF5cCC3cStCuZrRTGkluORibK 3bXnSEeKbjXQGKxPz3Z3Tot+J5DLs9qh1X5a+G/c= X-Virus-Scanned: amavisd-new at proxy01.udamail.fr Received: from proxy01.udamail.fr ([127.0.0.1]) by localhost (proxy01.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id VrgApjrqY0PS for ; Thu, 15 Aug 2019 08:38:26 +0200 (CEST) Received: from [192.168.0.42] (lav63-2-88-164-92-250.fbx.proxad.net [88.164.92.250]) by proxy01.udamail.fr (Postfix) with ESMTPSA id 468GxG1tcWzBnBY for ; Thu, 15 Aug 2019 08:38:26 +0200 (CEST) From: =?windows-1252?Q?Jocelyn_S=E9rot?= Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Message-Id: <27CBCB91-8A86-4ACD-9DC1-E227A4CEE540@uca.fr> Date: Thu, 15 Aug 2019 08:38:29 +0200 To: Caml Mailinglist Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) Subject: [Caml-list] [ANN]: a short tutorial on Opam/Ocamlfind/Dune (was: A (silly ?) question about opam and ocamlfind) Reply-To: =?windows-1252?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 17768 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: Dear all, I=92ve finally solved the problem reported in my previous post. Because the general solution(s) i=92ve found might be useful to = programmers having to deal with the interactions between Opam, ocamlfind = and Dune, i=92ve published a small page on github describing them. It=92s = here : https://github.com/jserot/opam-howto The given code describes how to define, build and use a minimal opam = package with and without dune (with ocamlfind).=20 Comments, bug reports and suggestions for improvments welcome ! = (preferably by posting an issue on the github page). Jocelyn=