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 B9CB88003B for ; Tue, 22 Nov 2016 07:57:56 +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-f68.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.68; 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.68 as permitted sender) identity=mailfrom; client-ip=74.125.82.68; 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-f68.google.com) identity=helo; client-ip=74.125.82.68; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="postmaster@mail-wm0-f68.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A3Pz6tBI9VnTtDu58YNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRIv/xwZ3uMQTl6Ol3ixeRBMOAuqkC0bad4v+ocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDSwbalsIBi5ogncsssbipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjlj?= =?us-ascii?q?sJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo6y?= =?us-ascii?q?b5UBAfcPPehWrYbzpFUBohSiCgS3GOPj1iVFimPq0aAgz+gsFxzN0gw6H9IJtX?= =?us-ascii?q?TZtND1NKAVUeCuy6nI0SnMYuhZ2Tf48ofIcxQhreuQUrJ3dMrcz1QkGQ3CjlWV?= =?us-ascii?q?s4PlPjWV2/wKs2iB9eZvSeOuh3YoqwFwvjivxtoshZLTio0JzVDE8CN0y5s2K9?= =?us-ascii?q?2gUEN2Y9GpHIFNuy2EN4Z6WMAvT39ytCs7ybAKoYO3cSsJxZg92hLTdfKKf5KW?= =?us-ascii?q?7h/jSuqdOyl0iG97dL+5mh2861KvyvfmWcmxyFtKrjRKkt3Ltn0V0hzc8MmHSv?= =?us-ascii?q?9k8kav3DaDyxnf6u9FLE03j6bbJJkhwrk/lpoXr0vPBDP5mELzjKOOd0Uk/Pan?= =?us-ascii?q?6/j/b7jkqZKQLZJ4hh/+P6g0mcGzH/40PwkNUmSD/OSzzrzj/Un3QLVQif02l7?= =?us-ascii?q?HUsJXdJcQcva65BBNV3Zo45hawCjepytUYnX0dIF1ZfxKHipDlO0vSL/DgEfe/?= =?us-ascii?q?n1OsnS93yP/cO73hBozBLnzCkLf6YbZw8FVcyQo2zdBH/Z1YELABIPTpWk/wrt?= =?us-ascii?q?PUFBE5Mxbni9rgXelg0IgTQyqmE6aLePfOrFmD6/hpKviFdqcavT/8L74u4Pu4?= =?us-ascii?q?3lEjnlpIeK6uxpwLY1i3G/1nJwOSZn+/0Z86DW4Ws19mH6TRg1qYXGsWPi7qUg?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BzAADx6zNYf0RSfUpdHQEFAQsBFwEBB?= =?us-ascii?q?AEBCgEBgw0BAQEBAXdwEI1AlxaSX4IOggYqhT06AoINPxQBAQEBAQEBAQEBARI?= =?us-ascii?q?BAQkLCwkbMoIzGgGCGgEBAQMBEi4BGx0BAwELBgULDQkeBw8BBA0CEQEFAQsDA?= =?us-ascii?q?RMTIogwAQMPCAQKnmiBMj8yjVQFAR+DDQWDagoZJw1UgzUBAQEBAQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEXAgYQhB2GaYJIHIFChgQFj2SKNTWGRIMPg1eDUIJAhzaGMok0hC6CS?= =?us-ascii?q?DGBEh6BZwyDD4ILbwWGOYI7AQEB?= X-IPAS-Result: =?us-ascii?q?A0BzAADx6zNYf0RSfUpdHQEFAQsBFwEBBAEBCgEBgw0BAQE?= =?us-ascii?q?BAXdwEI1AlxaSX4IOggYqhT06AoINPxQBAQEBAQEBAQEBARIBAQkLCwkbMoIzG?= =?us-ascii?q?gGCGgEBAQMBEi4BGx0BAwELBgULDQkeBw8BBA0CEQEFAQsDARMTIogwAQMPCAQ?= =?us-ascii?q?KnmiBMj8yjVQFAR+DDQWDagoZJw1UgzUBAQEBAQEBAQEBAQEBAQEBAQEXAgYQh?= =?us-ascii?q?B2GaYJIHIFChgQFj2SKNTWGRIMPg1eDUIJAhzaGMok0hC6CSDGBEh6BZwyDD4I?= =?us-ascii?q?LbwWGOYI7AQEB?= X-IronPort-AV: E=Sophos;i="5.31,531,1473112800"; d="scan'208";a="201182673" Received: from mail-wm0-f68.google.com ([74.125.82.68]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Nov 2016 07:57:56 +0100 Received: by mail-wm0-f68.google.com with SMTP id g23so1445784wme.1 for ; Mon, 21 Nov 2016 22:57:56 -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=DT0BMkxQlcrqJkby+O/Nw0s7beYGLYzG3eO9P5PItlY=; b=YlsqWk7vPklxeFof1i33tdBPcfYQdVFESy12R7lK4WQQGTRenlt1625d4ZTjmwXJlz UBt8lbGJYZoM+MI1lPVweWS8vOwcHUaulGBQlfNv9KuhmPthz4tFrwXUYY2p3KM3ZtVG 85Kd40giiluh9ZtN7102O7t2O6S3Jwc3vNguhAlJKU9Sp0Qiijey7EOXEKqsqFOktV0m CWsZ5BMF5aeUblXp0B0QLlx0Hq4FVdecKOlcvtSYHprQYxaGclzkAv/bPM9rwWPhjrYU C4gM5iW0OwLf+Q/MuPNhYY3tFWMVrIpiXu18c35RF2XCYZqdG8jkw798+1Y3jROaAeYF Bqeg== 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=DT0BMkxQlcrqJkby+O/Nw0s7beYGLYzG3eO9P5PItlY=; b=LF+0y4GW45p3/sfk0KOr8yRBxAHU0U2/Druqwv/fdVLKv3iss+5iTCDxJRMbzG+GcE tk93IxYzYPbfDGB5gDJ6d5DkfPoa5Fho3IEMO+cFl6Os7bXSMNYHW7eGtQpGLBTNaz6i VSLfe/gGid4Srl/lOgMctTOqy8uTnd2bHZFbBCTQuHE7bIS62bJtwejUwxMSDUje/XGu J0HIJXYrx/sY0Z/GYUw5CnlRB8TgtJfFHy57RNEu06wD89N61nu7quF2jLEu59TAku/5 UE70NYNuvyjgghXYLhqcW5JkZSMJAdtOumaZTy18kNCEffxKDIXWXZfr0XxHQ46ce/zw I4Ow== X-Gm-Message-State: AKaTC01TPyl2YEZnGBL8OXQohml7V35nhQyoT1eBjNwOSMcSJA1hqp5wBOX/jCqyxfrYeg== X-Received: by 10.25.19.70 with SMTP id j67mr4217073lfi.77.1479797875608; Mon, 21 Nov 2016 22:57:55 -0800 (PST) Received: from linmac2 ([188.123.252.212]) by smtp.gmail.com with ESMTPSA id o196sm5962277lff.20.2016.11.21.22.57.54 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 21 Nov 2016 22:57:55 -0800 (PST) From: moosotc@gmail.com To: Tuncer Ayaz Cc: caml-list@inria.fr References: <87lgwcn885.fsf@gmail.com> Date: Tue, 22 Nov 2016 09:57:54 +0300 In-Reply-To: (Tuncer Ayaz's message of "Tue, 22 Nov 2016 04:12:57 +0100") Message-ID: <87twb0xaq5.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. > Argh... This double build system bites again (I don't use/test-well-enough the non-shake one) strikes again, fixed now in: http://repo.or.cz/llpp.git/commitdiff/26f6396e0bfe5455fcac57e596a1dfd42b09c4e8 -- mailto:moosotc@gmail.com