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 A8A275D5 for ; Tue, 27 Nov 2018 11:11:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,286,1539640800"; d="scan'208";a="357558260" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Nov 2018 12:11:18 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id DFF9582557; Tue, 27 Nov 2018 12:11:18 +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 F41B0824CF for ; Tue, 27 Nov 2018 12:11:10 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f169.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AGYFhTRKSEFun/5TuRdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeK/zxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJOUcZfVSNPAo2y?= =?us-ascii?q?YYgSAeQfIelVtJX9q0cUoBeiGQWgGOHixzlVjXH2x6061OEhHBnD0gM6HNIBqm?= =?us-ascii?q?nbrMjoP6oVUuC61qrIwi/eYPNLwzv96JLHch47rvGKR71wd9DexFIgFwPAlFqQ?= =?us-ascii?q?qIjlMymJ2eQKtmiW9uxtXv+hhW4grgF+uDmvxsE0h4nOmo0a0FXE9SFjzIYyP9?= =?us-ascii?q?24R0h2asOnHptIryyWKZd6T8c4T2xruCs20KAKtJ+ncCQQ1ZgqxhrSZvqaeIaS?= =?us-ascii?q?+B3jTvyeITJgiXJlZr2/gxGy/FClyuLmV8m01E9GrjNZktXRr3wN2QHf58mDR/?= =?us-ascii?q?dn8Ueh3jGP1w/X6u5aO0w7ia3bK5s5zr4xkJocr1jDEzfolEnqiKKabEYp9+iy?= =?us-ascii?q?5+j6Y7jquoWQO5J1hwz6Kqgun9awAeU8MggARWib/uG82aXg/ULjQ7VFlOA5kr?= =?us-ascii?q?TDvJDaP8sbqLS2AwlP3YYl8RmyFDim0NECknkGKFJJYg6Ij4/sO13WOvD3Ee+/?= =?us-ascii?q?g0iwkDds3/3JIqfuApDJLnTalLfhfK1961JHxQoozdFf4opUBasbLPLyXE/xrt?= =?us-ascii?q?3YAQUjPwy62ea0QOl6g4ETUGTKDLWQNqjVsETO4+UpIu+keYkUpnPyMfUj4PTq?= =?us-ascii?q?gDownUcQZu+nx8g5cne9S9dvIEyVfDK4gd4CGGsX+Ao3QuXsgVuLeTFWbne2Ga?= =?us-ascii?q?k742doW8qdEY7fS9X10/S61yChE8gTPzgeUwHeITLTb4yBHsw0RmeXK85lnCYD?= =?us-ascii?q?UOH4GYAk3BCq8gT9zug+d7aGymgjrZvmkeNNyajLjxhrrG57Cs2c1yeGSGQmxj?= =?us-ascii?q?pVFQ9z57h2pAlG8nnG0aV8hKYGR9la5vcMSxtjcJCFkb08BNf1VQbMONyOTQT+?= =?us-ascii?q?Tw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3AgBgJf1bh6mgVdFkHgEGBwaBZYJqg?= =?us-ascii?q?QIng3mDe5Iwig6ES4phDR+ETQKEMBoHAQQ0EgEDAQECAQEBAQETAQEBCA0JCCk?= =?us-ascii?q?jDII2JAGCYgECAgEjBBkBGx0BAwELBgULDwImAgIiAREBBQEcgzoBgWgBAw0ID?= =?us-ascii?q?5lhPIsNfBYFAReCdwWBRUCCOwoZJw1dgTcCAQUSeYsCghaDcwIugx4DAQKCKoI?= =?us-ascii?q?3glcCkBSPeAcCgwiDdIMthwcYgUoBgU+NcYJ4ik6KYg8hgTxVgSFNI1AxgjuCG?= =?us-ascii?q?xqDU4UUhUI/MAGOcAEB?= X-IPAS-Result: =?us-ascii?q?A0D3AgBgJf1bh6mgVdFkHgEGBwaBZYJqgQIng3mDe5Iwig6?= =?us-ascii?q?ES4phDR+ETQKEMBoHAQQ0EgEDAQECAQEBAQETAQEBCA0JCCkjDII2JAGCYgECA?= =?us-ascii?q?gEjBBkBGx0BAwELBgULDwImAgIiAREBBQEcgzoBgWgBAw0ID5lhPIsNfBYFARe?= =?us-ascii?q?CdwWBRUCCOwoZJw1dgTcCAQUSeYsCghaDcwIugx4DAQKCKoI3glcCkBSPeAcCg?= =?us-ascii?q?wiDdIMthwcYgUoBgU+NcYJ4ik6KYg8hgTxVgSFNI1AxgjuCGxqDU4UUhUI/MAG?= =?us-ascii?q?OcAEB?= X-IronPort-AV: E=Sophos;i="5.56,286,1539640800"; d="scan'208";a="357558197" Received: from mail-qt1-f169.google.com ([209.85.160.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Nov 2018 12:11:10 +0100 Received: by mail-qt1-f169.google.com with SMTP id r14so21212504qtp.1 for ; Tue, 27 Nov 2018 03:11:10 -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=j0FTOLFxfaBO3PESsOTcABbosXnrzxcjuaZNPwcyRx0=; b=ncH2vA74n+Fb41ZLCSzRWfVCV6PjSFHbiXe9/tHjogTha8QD5gIT0p4GHnhnC8HsAL s+20DFiFQtQOYBZ9Vzqs9ko/++m9UBOXmnJo8LIY4BHMEf7cjVQfm3N0Iip6/KLcSGCB aNo+zpvvXrPjPuJLi1zJREL70iFL4XdNH4O6lJFB4JYyM/G6/FRMlFRrhJhnW/6bHuw7 boR1Cso67VXiGnems3a0wdOd0W9B9pReufQw1o9dClgJg24zlyM25tokcNEhCLxY+OOz zHK0FkOlCb/rc5tGxU99IjIh72SYKyeXl8hvzFEz4I41iYrGp2ciz2gkB85cF1lQARS/ xjIg== 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=j0FTOLFxfaBO3PESsOTcABbosXnrzxcjuaZNPwcyRx0=; b=aRNC4HniXu1ZjYG/BzWADM+TunjzZCudIyJ8N6RXoqX5had1XPzql9ffuiV/+8BnOf U/koFOItdfNWa2EGS1lOQp1xDiT9nGPJvd7KL5myEF+jH3aFV2Au/OdhRl5r6c6UZ2cK NBJNV/IaYnO2qYE8zJa5vEVbVuvfl/svmdjSwahXTF7voQS9TJ0gLRlH9eUYXrdPeVKX BxZQPG9znQDi+FKihd9OTYk/Z2f/7UxAz/KOtIw5eaqaBE+SW5IfWO7A//nSs0OrgArJ sJlhg/p1C28FXKy+pQf6KX1jyizpSwJDFXI0Frnp1t8A3mPNFb2tSo02ngNUbvsf00Fg 8ZCA== X-Gm-Message-State: AA+aEWatrf3gMQxT0C0RjKRSQRs9qnOqyXdItoAGtRy1Cdu3V27uyozE x2hFrl1fB1FdGkiACpjgl8J8+3MN791tH+g/kkIgdA== X-Google-Smtp-Source: AJdET5eXITq2iasSSwG5vuRHa7T85da4EAG+9K3xvRuDaR78i9c/XsILW4LT9PuYlFO3SL93TRIQ51xm1ongSW6xuVw= X-Received: by 2002:aed:33e3:: with SMTP id v90mr30041997qtd.261.1543317068925; Tue, 27 Nov 2018 03:11:08 -0800 (PST) MIME-Version: 1.0 References: <152c589f-c40c-8a43-33c3-70840bc04904@users.sourceforge.net> <8dc2405a-0672-9aad-bec5-45245cb12355@users.sourceforge.net> <20181127110529.GC16292@mallet> In-Reply-To: <20181127110529.GC16292@mallet> From: Kakadu Date: Tue, 27 Nov 2018 14:00:33 +0300 Message-ID: To: jean-francois.monin@univ-grenoble-alpes.fr Cc: Caml List , julia.lawall@lip6.fr Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] Build-/Installation-Tools - not enough of them? Reply-To: Kakadu X-Loop: caml-list@inria.fr X-Sequence: 17164 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: > 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. > +1. Installing Opam 2.0 on Ubuntu is even more complicated (The only trick I know is adding avsm's PPA which is not easy to google) Happy hacking, Kakadu -- 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