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 DBCBF5D5 for ; Tue, 27 Nov 2018 13:19:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,286,1539640800"; d="scan'208";a="357582460" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Nov 2018 14:18:53 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 95CA482552; Tue, 27 Nov 2018 14:18:53 +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 BAD38824CF for ; Tue, 27 Nov 2018 14:18:49 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-lf1-f52.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AHtSsqxIpoVrLVuvSl9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeKPzxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+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?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJPXslfVyJPHJ6y?= =?us-ascii?q?YIkBAeQCMulXs5Lwp0cSoRakGQWgGPnixiNOi3Tr3aM6yeMhEQTe0QInBd0OtG?= =?us-ascii?q?jbrNLxNKcXTOu7y7PHzSnZYPNS2jfy8pXDfxckofGJR71wbdDeyU0sFwzflViQ?= =?us-ascii?q?ponlMCmU1uQJqWSU8+1gVee2hmMhtgp/rD+vxsI2hYnIgIIY0lfE+jljz4YwId?= =?us-ascii?q?20Ukl7YcSrEJZWqiqUNJN2T9s8T210vCs20L4LtJ6hcCQXyZkqxQTTZvyZf4SQ?= =?us-ascii?q?/x7vSOKcLS1miH9re7+znQu+/Eahx+HmV8S531BHpTdfnNbWrHACzRnT59CHSv?= =?us-ascii?q?Rj+keh3i6C1wXJ5eFFJUA4jK7bK5A8zrIpmJoesVrPEjX5mEXxi6+WeUEk9fay?= =?us-ascii?q?5+v7ZbXmo4eQN45yig7gLqQjgtKzDfg8PwQUXGWW+f6w2KDi8ED7WrlHjuM6nr?= =?us-ascii?q?HcsJ/AJMQboqC5AxVS0oYm8xu/CjKm384EnXYdKFJFewiIgpPmO1HLOv/4DPO/?= =?us-ascii?q?j06wnzdswvDKJqfhDYnVLnjfjLfheq5w5FJGxwo2ydBT/pZUCrAaIPLvQULxr9?= =?us-ascii?q?zZDhohMwOu2ernCdN91pkfWW2VGKOZPrnS4he04bcMKuqFaJJd7DX0KPEp+rju?= =?us-ascii?q?hHEwn1YbdIGm2JIWbDazGfEwcGuDZn+5p94FGmAOu0IbRfDjjF6LGWpWYn+uVq?= =?us-ascii?q?Y/7xk0DYunCcHIQYX70+/J5zuyApADPjMOMVuLC3q9MtzcA65dOhLXGddol3k/?= =?us-ascii?q?bZbkToYg0R+0swqjkuhoK+PV/msTspexjYEptd2Wrgk78HlPN+rYy3uEFjgmkW?= =?us-ascii?q?YBRjtw16d68xQklwWzlJNgivkdLuR9ovNEVgBgaMzZxu1+TtT8A0fPI43PR1Gh?= =?us-ascii?q?TdGrRzo2S4Bpzg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DtAABQQ/1bhzSnVdFkHAEBAQQBAQcEA?= =?us-ascii?q?QGBZYFWBYEPgRYTjHCNNY5ZimELAQEfDYRAAoQ1GgcBBDQSAQMBAQIBAQEBARM?= =?us-ascii?q?BAQEIDQkIGw4jDII2JAGCYgECAgEnGQEbHQEDDAYFCxYlDwERAhEBBQEcBhMZg?= =?us-ascii?q?wgBgWgBAw0IBAuZPTyMCRYFAReCdwWBRUA/gXoKGScNXYE3AgEFCQEIil+BHBe?= =?us-ascii?q?BQD+DcwIugldHAwEChzgCn14uCYZ8gy2DW4MsGIlShzmCeIpOgQqJQAYCCQcPI?= =?us-ascii?q?YE8VYEhMxoIGxU7MYI7ghsMDgl/AQeCQ4UUhUA+MwGBASYTjTYBAQ?= X-IPAS-Result: =?us-ascii?q?A0DtAABQQ/1bhzSnVdFkHAEBAQQBAQcEAQGBZYFWBYEPgRY?= =?us-ascii?q?TjHCNNY5ZimELAQEfDYRAAoQ1GgcBBDQSAQMBAQIBAQEBARMBAQEIDQkIGw4jD?= =?us-ascii?q?II2JAGCYgECAgEnGQEbHQEDDAYFCxYlDwERAhEBBQEcBhMZgwgBgWgBAw0IBAu?= =?us-ascii?q?ZPTyMCRYFAReCdwWBRUA/gXoKGScNXYE3AgEFCQEIil+BHBeBQD+DcwIugldHA?= =?us-ascii?q?wEChzgCn14uCYZ8gy2DW4MsGIlShzmCeIpOgQqJQAYCCQcPIYE8VYEhMxoIGxU?= =?us-ascii?q?7MYI7ghsMDgl/AQeCQ4UUhUA+MwGBASYTjTYBAQ?= X-IronPort-AV: E=Sophos;i="5.56,286,1539640800"; d="scan'208";a="286988530" Received: from mail-lf1-f52.google.com ([209.85.167.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Nov 2018 14:18:48 +0100 Received: by mail-lf1-f52.google.com with SMTP id e26so16404459lfc.2 for ; Tue, 27 Nov 2018 05:18:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=xN92Rbuwp2PSybUJaS/S1VNusetm/YI/kpDnrkys4cc=; b=RjjpJLXBwzP6sWHrgOWRaYTOJ9pbOXLv0zXJUOfPXjJI2aSZRav8AGBoEBktCXk1HR NnET/00xDuhYQQKV3S+2i0DaVGmXKQPZAMnX1PmF3KILGm3yH9guubHAyif74LdtgNp6 BR3xXQg4c6cN3/w/CM4ovXvxdcGbklDDL35FfiUo47HP4s2JXp1BaTxULLdA1sLlwhb0 /Y+nQ3nrE1raVqwkPRQqvVVE5NJ/q/jaHFHs8NwgqyFAzg0xraIBnmzPpytHvTQBhfVa Ue92hlZOqrAzAsPIkAtr3GLnHBa4JTwEfY/oOsNZA8vDnEq9gaa8HyQEOhTSRd5+xwrO uo8w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=xN92Rbuwp2PSybUJaS/S1VNusetm/YI/kpDnrkys4cc=; b=ibvK2RC3/LP9myo1UstXzl7Lkv/LfiGDGqI6s8jmkg9fVSplpav+Qj3TaEOyUsTVmc GuOZ58VriwFmjaA42JYFCuH2NEcVmDyExxQARwOmTwKZNccLcTmGpXE1FYjxrm0I3+xk 6FvB3IhSXybz7lGLG8SH3VJKQUxiNKxySqTxXiUF27jgT+RHBg0aEENjrFuqGdS16hxI FagvkBRQ1FadCCkf7L8L7x7nbXtAgBQypVpL17KYw32u1GAQehIAB2cRqXKsaGJABLhp wEQyXa3c1We5qY+uj4EOn1Z+mD8/EYEe8WHJuRP6mbUf++gpWLg/VT38JpNNQLdbR9qw Vz+A== X-Gm-Message-State: AGRZ1gJMpjDFVI/r2u1Xv+TYjAKuHk0wUC4A5MkDkMdykyz+xtoS6orV TngHAseM4v6pLbIf6zl160k= X-Google-Smtp-Source: AJdET5dmBTwIRRMrGnRVm/xqHAshHfbNu7vo5xQ8t6jGfoVXh78gmkVTxUXRO2Axp5OBaswMbKQk7Q== X-Received: by 2002:a19:5349:: with SMTP id h70mr18301310lfb.50.1543324728041; Tue, 27 Nov 2018 05:18:48 -0800 (PST) Received: from localhost (customer-109-238-136-64.stosn.net. [109.238.136.64]) by smtp.gmail.com with ESMTPSA id a11sm589720lfb.68.2018.11.27.05.18.46 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 27 Nov 2018 05:18:47 -0800 (PST) References: <152c589f-c40c-8a43-33c3-70840bc04904@users.sourceforge.net> <8dc2405a-0672-9aad-bec5-45245cb12355@users.sourceforge.net> <20181127110529.GC16292@mallet> User-agent: mu4e 1.0; emacs 26.1 From: Malcolm Matalka To: Kakadu Cc: jean-francois.monin@univ-grenoble-alpes.fr, Caml List , julia.lawall@lip6.fr In-reply-to: Date: Tue, 27 Nov 2018 14:18:46 +0100 Message-ID: <86tvk2d5ft.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Build-/Installation-Tools - not enough of them? Reply-To: Malcolm Matalka X-Loop: caml-list@inria.fr X-Sequence: 17166 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: Kakadu writes: >> 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 I know at one point there was talk of opam2{rpm,pkg,deb} style tools. Does anyone know the status of those? I, personally, would benefit from an opam2freebsdports. ocaml-bundle came up earlier in the thread but as I said it feels stapled onto opam and doesn't use the opam env I've already setup (specifically pins + repos). Maybe opam itself would benefit from a tool that could take a package and produce the package information in a format easily consumable by other languages so others can more easily write tooling around it? Heck, that information would make it easier to writes something in ocaml. I know this is one challenge I have, I *could* write some tools to make life easier but I don't have easy access to all the information in opam packages and poking around the opam libraries to build such a tool is too much effort for its priority for me. -- 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