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 E29F55D5 for ; Tue, 27 Nov 2018 11:05:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,286,1539640800"; d="scan'208";a="357557071" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Nov 2018 12:05:44 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 83B3882557; Tue, 27 Nov 2018 12:05:44 +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 121FB8253E for ; Tue, 27 Nov 2018 12:05:31 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jean-francois.monin@univ-grenoble-alpes.fr; spf=Pass smtp.mailfrom=jean-francois.monin@univ-grenoble-alpes.fr; spf=None smtp.helo=postmaster@zm-mta-out-1.u-ga.fr IronPort-PHdr: =?us-ascii?q?9a23=3AYhl34BXe1znqm2CUnqxrGbKWlW/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRaPt8tkgFKBZ4jH8fUM07OQ7/iwHzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9xIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZDI2y?= =?us-ascii?q?b5UBAfcCM+ZWoIbyu0YBoxS8CgaiH+7v1jxFi2Xq0aEmyektDAfL1xEgEdIUt3?= =?us-ascii?q?TUqc34OqMMXu+vyqnE1DXNb+lM1jf79IfIdREhoeqRVrx3dsrRz0gvFwXYhViX?= =?us-ascii?q?q4zqISma1uIUv2iV9epvT+SvhHIgqwFwuTij3MIsio7PhoIUzFDJ7jh5wIA0Jd?= =?us-ascii?q?2mUUJ7bsSkH4VWtyGdLIR2Rt0tT3hytyY+0r0Jp4W7cDIEyJQ93hPSbeGMfYaP?= =?us-ascii?q?4hLmTumRIDF4iWpieL2jnRmy9Eygxvf7Vsmu31ZHqDdOnNrUtn0VyhDe6taLRu?= =?us-ascii?q?F/80qjwzqDyRzf5v1eLU00lKfXM4MtzqA0m5YJsknOHTX6lUrogKOMckgp/PWj?= =?us-ascii?q?5f79bbX8vJCcMpd5igHgPaQqncyyGeU5Mg0XU2ie5eSzzqTv/UrkQLVWl/E6j7?= =?us-ascii?q?PVsI3DKcQUvKG1GQFV0pw75xa+CTepzsgYkGEaIF9FZh6LlYrkNlPULPzmEfuz?= =?us-ascii?q?n06gnTdqyvzeO73uGJTNLnzNkLf7erZ97lZRyAgtwt9F4ZJYE78BIOjpVU/3qN?= =?us-ascii?q?PYCR45Mxeuz+biD9V90IIeWWSUD6+ENqPSsEGI6vsgI+mWeoAVvjH9JOMh5/Hw?= =?us-ascii?q?lHM2g1sdfbG30psMcny4EO5mL12DYXXwmtcBDXsKvg0mQeP2klKCVDpTa2+2X6?= =?us-ascii?q?I9/TE7FJmrDZzDR4ComLyOxj23HpxQZmBcC1CDC23kd4ueW6REVCXHKcZklnkA?= =?us-ascii?q?VKO9Y44nzxCn8gHgmJR9Ke+B2CARs9fNztFz7OrSjlkX8jp1CYzJ0WyESSR6hG?= =?us-ascii?q?oOTDg3x+Z6pkp8zH+e16lmxvNCGNpU7fdEFw4+LZPHieJgXYOhEjndd8uEHQ71?= =?us-ascii?q?Cu6tBis8G5dom4dXMhRNXu66hxWG5BKERroclriFHpsxqP6Own7wOYNy0XvA06?= =?us-ascii?q?MlghwvRtNCLiuonPwmrlSBN8vyi0yc0p2SW+EExieXqDWey2uQ+U5CXQh3W6HI?= =?us-ascii?q?GHkbfkbN69rjtBubEu2eTI8/Ow4E8vasb6tHbtqz1wdUQbLmJN2bZH+t3j72GF?= =?us-ascii?q?OHz/WCdtiydg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AoAAAYJP1bhzjITZhkGgEBAQEBAgEBA?= =?us-ascii?q?QEHAgEBAQGBZQKCaIECJ5okjgeLMw0fDYFLgmsKAoQwGgcBBDQSAQMBAQIBAQE?= =?us-ascii?q?BARMBAQEKCwkIKSMMQgEOAYFkJAGCYgECAycLAUYQCxgJJQ8FGINlAYIBBAumL?= =?us-ascii?q?TOEQUCFKQWMDYIWg3MCLoMeAwECgiqCaIImApU/ik0HAoELhXGDLYZ8IwqRAYJ?= =?us-ascii?q?4ik6KcYFdgXZNJ0yCbII1iGeFQEAxAYEGgWCMCgEB?= X-IPAS-Result: =?us-ascii?q?A0AoAAAYJP1bhzjITZhkGgEBAQEBAgEBAQEHAgEBAQGBZQK?= =?us-ascii?q?CaIECJ5okjgeLMw0fDYFLgmsKAoQwGgcBBDQSAQMBAQIBAQEBARMBAQEKCwkIK?= =?us-ascii?q?SMMQgEOAYFkJAGCYgECAycLAUYQCxgJJQ8FGINlAYIBBAumLTOEQUCFKQWMDYI?= =?us-ascii?q?Wg3MCLoMeAwECgiqCaIImApU/ik0HAoELhXGDLYZ8IwqRAYJ4ik6KcYFdgXZNJ?= =?us-ascii?q?0yCbII1iGeFQEAxAYEGgWCMCgEB?= X-IronPort-AV: E=Sophos;i="5.56,286,1539640800"; d="scan'208";a="286970436" Received: from zm-mta-out-1.u-ga.fr ([152.77.200.56]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Nov 2018 12:05:30 +0100 Received: from zm-mta-out.u-ga.fr (zm-mta-out.u-ga.fr [152.77.200.58]) by zm-mta-out-1.u-ga.fr (Postfix) with ESMTP id 6AE22A0297; Tue, 27 Nov 2018 12:05:29 +0100 (CET) Received: from smtps.univ-grenoble-alpes.fr (smtps.univ-grenoble-alpes.fr [195.83.24.202]) by zm-mta-out.u-ga.fr (Postfix) with ESMTP id 6612CE00C0; Tue, 27 Nov 2018 12:05:29 +0100 (CET) Received: from mallet.imag.fr (mallet.imag.fr [129.88.42.9]) by smtps.univ-grenoble-alpes.fr (Postfix) with ESMTP id 6483F6046B; Tue, 27 Nov 2018 12:05:29 +0100 (CET) Received: by mallet.imag.fr (Postfix, from userid 5608) id 57C5CFF85D; Tue, 27 Nov 2018 12:05:29 +0100 (CET) Date: Tue, 27 Nov 2018 12:05:29 +0100 From: Jean-Francois Monin To: caml-list@inria.fr Cc: Julia Lawall Message-ID: <20181127110529.GC16292@mallet> References: <152c589f-c40c-8a43-33c3-70840bc04904@users.sourceforge.net> <8dc2405a-0672-9aad-bec5-45245cb12355@users.sourceforge.net> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-Greylist: Whitelist-UGA MAILHOST (SMTP non authentifie) depuis 129.88.42.9 Subject: Re: [Caml-list] Build-/Installation-Tools - not enough of them? Reply-To: Jean-Francois Monin X-Loop: caml-list@inria.fr X-Sequence: 17163 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 Tue, Nov 27, 2018 at 11:34:41AM +0100, Julia Lawall wrote: > > > On Tue, 27 Nov 2018, SF Markus Elfring wrote: > > > > The question is what to do after installing opam. > > > > This is just another software package management system, isn't it? > > Sure, but each one may have its own particular commands. One can't > spontaneously know what they are. The commands required for installing > ocaml should be documented on the page for installing ocaml. Installing > opam is recommended as one of them, but one has no idea what if anything > is needed after that. > > julia I fully second Julia. In order to teach OCaml, I need simple and clear instructions for students. The current situation is Search engine -> https://ocaml.org/docs/install.html -> https://opam.ocaml.org/doc/Install.html -> nightmare. Too bad. Jean-François -- Jean-Francois Monin Verimag Resp. dpt Informatique Polytech Grenoble, Universite Grenoble Alpes -- 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