From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 9F7A28003B for ; Tue, 22 Nov 2016 05:22:17 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=moosotc@gmail.com; spf=Pass smtp.mailfrom=moosotc@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f65.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of moosotc@gmail.com) identity=pra; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="moosotc@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of moosotc@gmail.com designates 74.125.82.65 as permitted sender) identity=mailfrom; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="moosotc@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f65.google.com) identity=helo; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="postmaster@mail-wm0-f65.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AIEvylBZxcp3BpFLVDopQGlf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMS5bnLW6fgltlLVR4KTs6sC0LuN9fq8EjJeqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd8IRmsswncucYajIpjJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlT?= =?us-ascii?q?wKPCAl/m7JlsNwjbpboBO/qBx5347Ue5yeOP5ncq/AYd8WWW9NU8BMXCJDH4y8?= =?us-ascii?q?dZMCAeofM+hFoYnzqVkBoxiwCgajGOzi0SNIimPs0KEmz+gsCx3K0Qo9FNwOqn?= =?us-ascii?q?TUq9D1Ob8XUeCyy6nI1jLDb+9K1jrm54jIdwouofCIXb5qbcXRzkwvGgXYhVue?= =?us-ascii?q?rozlOima1uULs2WD6OpgT/ijhHImqg1prTivx9ssionUho0O0FzL6SJ5wIMzKN?= =?us-ascii?q?alS0B7ecapHZlfui2AKod6XMMvT3trtSok0LELuJ62cDAXxJkkxBPTceGLf5aG?= =?us-ascii?q?7x75SuqcISl0iGh7dL6imRq/91WrxPfmWcmuyllKqzJIktnSuXAJ0Bze8s2HRe?= =?us-ascii?q?F8/kelwDqO2QXT5v1dLUA6lKfWK4QtwrE3lpoUvkTDGjH5lF/qg6+Rc0Uo4umo?= =?us-ascii?q?6+L5bbX6vpKRNYB5hhvjPqgwmsGzG+c1PhYUU2Wa+emwzLjj8lf4QLVOgP02iK?= =?us-ascii?q?7ZsJXCKMQeoa65BBRV0oE/6xmjFDqm39EYkmMGLFJBYh6Ik4/pO1TWLPDiEfi/?= =?us-ascii?q?m0iskCtsx/3eIrLuGJDNLnzanLflfLZ98FJcxREozdFf4pJUEqsOLOjyWk/3rt?= =?us-ascii?q?zYDwU2Pxa6w+b9W51B0dYiRGSED7XRGbLboxfc+v8pKOSWIoYEsSTVJP0s5vqo?= =?us-ascii?q?hng8zwwzZ66siJ4Qb2u/Av9OLECQYH6qidAEQjRChRY3UOG/0A7KajVUfXvnGv?= =?us-ascii?q?tkvjw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BvAACExzNYf0FSfUpcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgw0BAQEBAXdwEI1AlxaSX4IOggYkhX0Cggs/FAEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBCQsLCRsygjMaAYIaAQEBAwESLgEbHQEDAQsGBQsNCR4HDwEEDQIRAQUBC?= =?us-ascii?q?wMBExMiiDABAw8IBJ5vgTI/Mo1UBQEfgw0Fg2oKGScNVIM1AQEBAQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEBFwIGEIQdhmmCSByBQoYEBY9kijU1hkSDD4NXg1CCQIc2hjKJNIQug?= =?us-ascii?q?kgxgRIegWcMgw+CC2+GPoI7AQEB?= X-IPAS-Result: =?us-ascii?q?A0BvAACExzNYf0FSfUpcHAEBBAEBCgEBFwEBBAEBCgEBgw0?= =?us-ascii?q?BAQEBAXdwEI1AlxaSX4IOggYkhX0Cggs/FAEBAQEBAQEBAQEBEgEBCQsLCRsyg?= =?us-ascii?q?jMaAYIaAQEBAwESLgEbHQEDAQsGBQsNCR4HDwEEDQIRAQUBCwMBExMiiDABAw8?= =?us-ascii?q?IBJ5vgTI/Mo1UBQEfgw0Fg2oKGScNVIM1AQEBAQEBAQEBAQEBAQEBAQEBFwIGE?= =?us-ascii?q?IQdhmmCSByBQoYEBY9kijU1hkSDD4NXg1CCQIc2hjKJNIQugkgxgRIegWcMgw+?= =?us-ascii?q?CC2+GPoI7AQEB?= X-IronPort-AV: E=Sophos;i="5.31,531,1473112800"; d="scan'208";a="201174219" Received: from mail-wm0-f65.google.com ([74.125.82.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Nov 2016 05:22:16 +0100 Received: by mail-wm0-f65.google.com with SMTP id a20so702689wme.2 for ; Mon, 21 Nov 2016 20:22:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=0+uiVX36jgS+cTkKQXJmjeFU8uQ22L4W5b3xJn7D7Bc=; b=Bnn7fJM7ZeiC53bOAXzSXT3TtdjxnwuhNQAmpXWGeuvN34CyzltqGn4UOj+hcY6wBl L66bT5H4hdG9EoA4DYgSFtBL1alJN7K8+wavHvaVyuOT5fuR1E6HEaEbucTV8jGT0SJr 9k600FPXZq4nci62kDnLlPeQSrB6txEaCQjP6e1PsnmrnWdqjBgo4aLI8/34e2fqUoiM k379tcrQCz7njFwrLViM8OdQ4nKqu+QdHaWMEqv6yOIK6yxcXcRMYBZwx8D7rA0OgL/F 3lDbq58ttrEAkf1w58egvm9F5xS2+m4vu0TBjldkEu2Fl2tc+ST2LlnC35VfTRibM0qM kyZw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=0+uiVX36jgS+cTkKQXJmjeFU8uQ22L4W5b3xJn7D7Bc=; b=br8t8RmUkd2RA1KvXefXisNhePLiVRcTFYF8lV+TjOf8IH3W3tO+9JfZn6HuUJG+82 jNxgBuReHtxnQ6vbblIVqBC7qBMueR96V0MKVJUImjKzfzqtu7q6uPT2JlyLAG8saRpV xD9T84KF2cDGY3ffBimAGhFMsM1pZ8y7Hc4v3fLKvfFKMeT+ZP4EcR2pixsK5utTRHjM JoHt4vXLlS5+YiThAorx75TRNx0K6G9Rnz7O2Cd+41G+wcP0+1iAgPVYgg26WQbnSIRs 1fTg4ek5SuFpY2k08ugz1U6wZ6fjzaQ05iPZ1bbz4VUGlCM5yWA9/zhLNP0DiOxF8iY6 8JIA== X-Gm-Message-State: AKaTC03MTvxeT2C/wkruuoW4oZCxchTKIC5q98bthwG0OMAjVUBQ6gPhv+xqPAtqTK7XxA== X-Received: by 10.46.71.18 with SMTP id u18mr10087431lja.67.1479788535978; Mon, 21 Nov 2016 20:22:15 -0800 (PST) Received: from linmac2 ([188.123.252.212]) by smtp.gmail.com with ESMTPSA id m16sm5974325lfj.24.2016.11.21.20.22.15 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 21 Nov 2016 20:22:15 -0800 (PST) From: moosotc@gmail.com To: Tuncer Ayaz Cc: caml-list@inria.fr References: <87lgwcn885.fsf@gmail.com> Date: Tue, 22 Nov 2016 07:22:14 +0300 In-Reply-To: (Tuncer Ayaz's message of "Tue, 22 Nov 2016 04:12:57 +0100") Message-ID: <8737ikf8jt.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] [ANNOUNCE] llpp v23 Tuncer Ayaz writes: > On 21 November 2016 at 16:49, wrote: >> >> Hello, >> >> New version of llpp (tagged v23) is now available at: >> * http://repo.or.cz/w/llpp.git (has "tutorial" videos) >> * https://github.com/moosotc/llpp/ (has a bugtracker) > > [...] > >> Diffstat v22..v23 >> .dir-locals.el | 2 +- >> .gitignore | 5 +- >> BUILDING | 10 +- >> KEYS | 9 +- >> Build.hs => Shakefile.hs | 103 ++-- > > I like and use Shake myself, but I wish we could use Jenga instead of > Shake in order to limit the needed toolchains at build time. However, > it seems that for the moment macOS and Windows support would be > problematic if we relied on Jenga, if I remember moosotc's explanation > correctly. I don't have access to Windows or macOS, so the only > problem I know is that polling mode isn't implemented on macOS, which > is only important for regular developers of llpp and if they're primarily > working on macOS. > > You can of course argue that having to install opam and jenga before > building llpp isn't more reliable or less complex than shake (the > Haskell library and executable), but from experience I'd say it's at > most an equally big requirement with similar potential for build > errors trying to install it. > > I'm just mentioning it in this content and forum to try and see if the > situation has improved or what it would take. Nothing wrong with shake, > it just would be nice to use an existing OCaml equivalent. It would indeed, but all my objections to jenga still stand :( -- mailto:moosotc@gmail.com