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 5B39F5D5 for ; Sun, 2 Dec 2018 23:36:30 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,308,1539640800"; d="scan'208";a="358372310" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Dec 2018 00:36:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2636282563; Mon, 3 Dec 2018 00:36:29 +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 A6799824CF for ; Mon, 3 Dec 2018 00:36:18 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail148113.authsmtp.com IronPort-PHdr: =?us-ascii?q?9a23=3Al79RThGD/9/QbpdS2unxyJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpMWwAkXT6L1XgUPTWs2DsrQY07qQ6/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+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95RWSJfH428?= =?us-ascii?q?c4UBAekPPelas4bzqFQBrRylCAmwHePvzyNEimPq0aA61ekqDAHI3BYnH9ILqH?= =?us-ascii?q?naos/6NLkTUe+o0aLF0THDb/dN2Tf68IjIag0qrPaRUrJqa8Xd0E8vGB3Lj1WL?= =?us-ascii?q?soHlOi2a1vgXvGiA8+pvT/6gi209pw5tpTivw94hh4/UjYwW0lDJ7SR0zJgvKd?= =?us-ascii?q?GlRkN3e8OoHZRTui2AKod6X80vT3lmuCkkybAKpZu2cS0KxZkoxRPQd/mKfoaU?= =?us-ascii?q?7R/sSuqcJCl3iG94d72lghu971WvxffiWsSyzV1EtDBKksPWuXAIzxHT6taISv?= =?us-ascii?q?96/kq53jaPyhzT6uReLkA1karXNpEsz70tmpYOv0nPBDX5mFjqjK+WbUUk//So?= =?us-ascii?q?6/z9brr6oZ+cMpd4igD4MqswhsyyGeU1PhYUU2SG9+mwzqDv8EL6TblQk/E6j6?= =?us-ascii?q?fUvIjfJcsBp665BwFV0pwk6xa6Fzqpzc4YkmMeIFJDZh2GgZPpNkrLIP/mEfew?= =?us-ascii?q?mU+skCtxyP/aPb3tGInCLn/GkLv5Z7Zy91ZcyBYvzdBY/59bFqsOIPf3WkPosN?= =?us-ascii?q?zYDwQ5MxCvzub8CNR905seVniVDq+YNqPSq16I6fg1L+mCfo9G8Ar6ftQs4f/j?= =?us-ascii?q?iUgTDVkPeajhiZcebnG1GrJsPkifc37tqtobC24WvxMjQarhiAvRfyRUYiOeVr?= =?us-ascii?q?w96nkSDIa9Cp/bDtShmrXE2iqkBbVTa3xPEUyFGnSufIKBDaRfIBmOK9Nsx2RX?= =?us-ascii?q?HYOqTJUsgFT37FejmuhXa9HM8yhdjqrNkd185undjxY3rGEmCsmB2nqRRmp32G?= =?us-ascii?q?gPQm1vhfwtkQlG0l6GlJNArblAD9UKuqFMXxszLoLVxO88ANf3CFqYI4W5DW2+?= =?us-ascii?q?S9DjOgkfC9I8x9hUMxR6BsmnhxHHhnb6WuZO0bWWGJwv977EmXP2IpQlxg=3D?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BGAACQawRch3GUDT5jHAEBAQQBAQcEA?= =?us-ascii?q?QGBVAQBAQsBgTCCOyeMcIsqUAEBBoE1EYkOkCMLAQEshEACgzQaBwEEMwYNAQM?= =?us-ascii?q?BAQIBAQEBARMBAQEKCwkIKS+CNiQBgmIBAgN5EAIBCBguMiUCBA4FgyGBdQ4DA?= =?us-ascii?q?aNOhUCEXowcgQ+BB4E4H4EqdC6FAYM1giYCoEAJkVSBW4URijqYRgIECwIUgVy?= =?us-ascii?q?BdzMaI1AqAYJBgjWOJkExgQeNFQEB?= X-IPAS-Result: =?us-ascii?q?A0BGAACQawRch3GUDT5jHAEBAQQBAQcEAQGBVAQBAQsBgTC?= =?us-ascii?q?COyeMcIsqUAEBBoE1EYkOkCMLAQEshEACgzQaBwEEMwYNAQMBAQIBAQEBARMBA?= =?us-ascii?q?QEKCwkIKS+CNiQBgmIBAgN5EAIBCBguMiUCBA4FgyGBdQ4DAaNOhUCEXowcgQ+?= =?us-ascii?q?BB4E4H4EqdC6FAYM1giYCoEAJkVSBW4URijqYRgIECwIUgVyBdzMaI1AqAYJBg?= =?us-ascii?q?jWOJkExgQeNFQEB?= X-IronPort-AV: E=Sophos;i="5.56,308,1539640800"; d="scan'208";a="287582745" Received: from outmail148113.authsmtp.com ([62.13.148.113]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Dec 2018 00:36:17 +0100 Received: from mail-c245.authsmtp.com (mail-c245.authsmtp.com [62.13.128.245]) by punt20.authsmtp.com. (8.15.2/8.15.2) with ESMTP id wB2NaENr054866; Sun, 2 Dec 2018 23:36:14 GMT (envelope-from dra-news@metastack.com) Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.15.2/8.15.2) with ESMTPSA id wB2NaCtK006662 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Sun, 2 Dec 2018 23:36:13 GMT (envelope-from dra-news@metastack.com) Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id wB2NaCZ4004678; Sun, 2 Dec 2018 23:36:12 GMT Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0415.000; Sun, 2 Dec 2018 23:36:11 +0000 From: David Allsopp To: =?Windows-1252?Q?Daniel_B=FCnzli?= CC: Hendrik Boom , "caml-list@inria.fr" Thread-Topic: [Caml-list] How to start with the curren toolset? Thread-Index: AQHUiYhO1UjmxS623EGq11EoB2Aog6VrlAcAgACIhdw= Date: Sun, 2 Dec 2018 23:36:10 +0000 Message-ID: <54E3F4F8-BAC1-444B-B7E6-118470B2058E@metastack.com> References: <20181126101448.3ee5jgz4c6ulsbbr@first.in-berlin.de> <20181126225522.GY3935@church> <20181127132914.ifjkrrsg677zcy6r@first.in-berlin.de> <20181127150629.GC1374@carty> <20181127154929.h2sdvjhwzyyfwior@first.in-berlin.de> <2151bed9-3134-50df-9199-c74eafbd31fc@kerguelen.org> <20181201151221.xv5chaq7oua2nlo3@topoi.pooq.com>, In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 0e92d19b-f68b-11e8-903a-9cb654bb2504 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgVGAn1U UHkJW1VcQF9yU2Bz YQtVIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFlsUGcjBEE9eH52 Y0BgEHhZW0U0dRN0 QBpVHD8bM2FoOn0e URVQagpUc1JXd0wX bFV7BiEPZGUDKBg1 TUcAFDk0OXBbKT9J d0ktKk1aXUFDBSI1 XQxKAjQzHQUZRyh7 JAE8MFMaVFoWNUEp PEd2MQgA X-Authentic-SMTP: 61633634383431.1039:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: Re: [Caml-list] How to start with the curren toolset? Reply-To: David Allsopp X-Loop: caml-list@inria.fr X-Sequence: 17205 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: On 2 Dec 2018, at 15:27, Daniel B=FCnzli wrot= e: >> On 1 December 2018 at 16:12:21, Hendrik Boom (hendrik@topoi.pooq.com) wr= ote: >>=20 >> So, to get dune I need to install ocaml. >> To get Ocaml it's recommended to start with opam (even though I don't >> need it for dune) >> To get opam ... ?? >=20 > I don't think that this is super complicated. A little bit of reading in = the various readme of ocaml and opam should be able to convince that this i= s entirely possible to do without any bootstrap problems. We had boostrap p= roblems at at a certain point with cmdliner but I believe that this is fixe= d, and if it's not please tell.=20 Indeed. A =93pure=94 bootstrap of opam should always remain possible, as th= e =93lib-pkg=94 bootstrap mode of opam is tested in its CI. A side-effect o= f this mode=92s existence is that src_ext/Makefile.packages contains the ma= nual build instructions for opam-free compilation of all of opam=92s depend= encies. David --=20 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=