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 85FF75D5 for ; Wed, 24 Mar 2021 20:46:10 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,275,1610406000"; d="asc'?scan'208";a="499817732" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Mar 2021 21:46:08 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 43C23E0331; Wed, 24 Mar 2021 21:46:08 +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 F3372E00B8 for ; Wed, 24 Mar 2021 21:46:02 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christophe@raffalli.eu; spf=Pass smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mail.raffalli.eu IronPort-PHdr: =?us-ascii?q?A9a23=3A7BT+ahWfakP/+NtN8zrWb10SoEbV8KxYVTF92vI?= =?us-ascii?q?co4ILSbyq+tHYBGea288FpGHAUYiT0f9Yke2e6/mmBTVRp8/d7ztTIdRlbFwss?= =?us-ascii?q?Y0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV?= =?us-ascii?q?6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMssQam5ZuJ6kzxxfGpnZFf?= =?us-ascii?q?/ldyH91K16Ugxvy/Nq78oR58yRXtfIh9spAXrv/cq8lU7FWDykoPn4s6sHzuhb?= =?us-ascii?q?NUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi77tuRRT1h?= =?us-ascii?q?ioLKyI1/WfKgcF2kalVog+upwZnzoDaYI+bKudwcKDSctwGWGVMRclRWzBbD46?= =?us-ascii?q?mc4cDE+gMMOBFpIf9vVsOqh6+CBGyCePv0D9Ih2T23bE90+Q5EQHJwhErEc4Uv?= =?us-ascii?q?3TaotX6LqMSUeS0zKLVyjjMc/NW2S386IjTbhAhpumMXbJufsfK00kgDQ3Fjlu?= =?us-ascii?q?KpozhOzOV1/4BvHaG7+d5U++klmEopR1rrDe12scslpfGhpgTyl3c9yh3wJo4K?= =?us-ascii?q?928RUNmfdKqEIdduS6YOoZ4Qc4uX39ktSQ6x7EYp5O2cycHxZQ5yhDQZfKKfIi?= =?us-ascii?q?F7xLtWeqPPDp0mXRoc6+8iRaq6UWs1+LxW8au3FtOsyZJiN3BumwX2xDN5MWKR?= =?us-ascii?q?ONx8lm91TqRzQze7v1ILVo1mKfUMZIswr09m5wOukrZBCD2gl/5jKqOe0Uk5Oe?= =?us-ascii?q?o7+Pnb63jppCGNo90jhvyMr40lcyxD+Q3KAwOX2ya+eimyrLj4FX1QLRMjvIoj?= =?us-ascii?q?qnUqI3WKMsUq6KjBwJZz5wv5hKjAzu8ztgVk3cKIEpAeB2djojpP1/OIOr/Dfe?= =?us-ascii?q?6m1mjjDdrx+rHPr36HpXNKWDDkLf/crtm8U5T0gQzzd5F6JJQDrEBIej/VVHst?= =?us-ascii?q?NDAFB82LxS0w/r7CNV6zo4RRXiAAqqdMK/LtV+I5/kvI/WXaY8OuDf9LuAl6OT?= =?us-ascii?q?0gX84n18dZ6ip0oENZHC2BPQ1a3meNHHlh9NEFWYRoiI/SvbrgRuMS219fXG3C?= =?us-ascii?q?ok8/DAgFIW+DYqLfImjjrWF2CbzSpZWfGFdFleUEXrAbYyKVf4IbCPUL9I3wW9?= =?us-ascii?q?MbqSoV4J0jULmjwT90bcydoL8ymgjrZvmkeNNyajTmBU1nRRxBsWZlXuEQW99m?= =?us-ascii?q?mcJATIrjvgXiXw48U+K1O1Du9IdDcZaj9tTWwk0PJrYzqp3FoKqMirxO+yRQVP?= =?us-ascii?q?jee2IRDQ4T9Y/2dgLC25nEtushxTH3mynHu1M/4E=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A++ICO68qqhfuk+lCmv1uk+AfI+orLtY04lQ7?= =?us-ascii?q?vn1ZYxpTb8CeioSCnO4D0wX1lTYWXxgb6LK9EYOHRm7R8oMw3JkJMd6ZLWrbkU?= =?us-ascii?q?aLDKUn14vtxDX8Bzbzn9Q26Y5Me7VzYeecMXFUlsD/iTPVL/8F4P2qtJ+lnv3f?= =?us-ascii?q?yXAFd2FXQoVt9R1wBAreMmAefmh7LKE0Hpad+cZLzgDIER8qR/6mDXoIVfWrnb?= =?us-ascii?q?P2va/hCCRoOyIa?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DCDABvpFtg/+laW5BaHgENLwwOC4VRJ?= =?us-ascii?q?xIxhEKJBJhOjFcLAQMBCAUyAgQBAYUjBYEnHgcBBDQTAhABAQUBAQECAQMDBAF?= =?us-ascii?q?whWENgjgihBQdAQE4XAJTgxCDBgGsGYEygwQBAQaGC4E0BwmBOYFThBQSPodOP?= =?us-ascii?q?4FMiXmCSYJghVU0kUWNMJwegxCBIocnlAYxEIEhggUBkFSQPbMkhQ+BayOBWU0?= =?us-ascii?q?mgzZQGQ2TD4l6HzI4AgYKAQEDCVYmE4coAQE?= X-IPAS-Result: =?us-ascii?q?A0DCDABvpFtg/+laW5BaHgENLwwOC4VRJxIxhEKJBJhOjFc?= =?us-ascii?q?LAQMBCAUyAgQBAYUjBYEnHgcBBDQTAhABAQUBAQECAQMDBAFwhWENgjgihBQdA?= =?us-ascii?q?QE4XAJTgxCDBgGsGYEygwQBAQaGC4E0BwmBOYFThBQSPodOP4FMiXmCSYJghVU?= =?us-ascii?q?0kUWNMJwegxCBIocnlAYxEIEhggUBkFSQPbMkhQ+BayOBWU0mgzZQGQ2TD4l6H?= =?us-ascii?q?zI4AgYKAQEDCVYmE4coAQE?= X-IronPort-AV: E=Sophos;i="5.81,275,1610406000"; d="asc'?scan'208";a="376776293" X-MGA-submission: =?us-ascii?q?MDHskB0Rr0iNMDQlciO5VlCxj4Rrxc5tftuPu+?= =?us-ascii?q?6TS8Qrm9R1wIvZrySE7BsBPloz/f0PTjfJKoX40/HvQ2koWkdBT3XVEG?= =?us-ascii?q?cF1O1duJCytIMafN9M5SHHJW5pwAYIEQG0mZGrt985P3tLbCn4Vom72/?= =?us-ascii?q?mRYIssM2a4y/zCAxC0SH7k4g=3D=3D?= Received: from vmi311709.contaboserver.net (HELO mail.raffalli.eu) ([144.91.90.233]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Mar 2021 21:46:02 +0100 Received: from localhost (58.64.90.202.dsl.dyn.mana.pf [202.90.64.58]) by mail.raffalli.eu (Postfix) with ESMTPSA id 26464640117 for ; Wed, 24 Mar 2021 21:45:57 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=raffalli.eu; s=mail; t=1616618761; bh=YlqYtTpRZgbopXiJrntoZUa5IGjDWpiEui/0jia2lZo=; h=Date:From:To:Subject; b=ppETav0DthHTCoad0b1HMfzRjsxEsOgImY3KlWHH+lB9qXDboc42GR3O+dW/H82JJ OFh7xHBhF5yRf9uWEn5KwCQ5YO9QN5KlQcQHbQsJxSqhh93KNuoce1RrpV+sN9PAZ/ I0Wfjs9BuAcKsSpARdNrFpCkPUvD6x0p5dpFBKzEID5LvIcwrQ5p7oOJ8viVl8yXHq JxO1NdWGpIU1X2j41/jJ/OpSqc6EusI8ggOey9wJLUjVJLUysHW/vQv/dwH3h6yKoQ wP2Khjl6+fQosy84ZzymIKu6L1kzBWUvle73Naog1yaY3zXDEuTNv1lDjT6ebaKCP9 Cfn21i4+TJpig== Date: Wed, 24 Mar 2021 11:45:44 -0900 From: Christophe Raffalli To: caml-list@inria.fr Message-ID: <20210324204544.q7sgi36hjko76fjq@oulala> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="t5jbcbw3nm5zayvr" Content-Disposition: inline Subject: [Caml-list] ocaml multicore with flambda Reply-To: Christophe Raffalli X-Loop: caml-list@inria.fr X-Sequence: 18444 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --t5jbcbw3nm5zayvr Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Hello, I have a program I would like to try to parallelise using ocaml multicore ... But my program also requires flambda as standard ocaml refuses to inline some functor (not enough information available) while flambda is happy to do what I ask for. Without flambda I loose more than a factor 2 and to try to parallelise is less useful. Is it possible to install ocaml multicore with opam and flambda option ? Cheers, Christophe --t5jbcbw3nm5zayvr Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCgAdFiEEJ369adg37nCCF0BCVXIaPfvmsfAFAmBbpPcACgkQVXIaPfvm sfCsvAf8DzilMCm01tR8XeBsvWNMPC2WD0Wm7ucpDHymcorqKdpWfPuV0t3Fqddv Wny1rCRLPhrzoyXOsrwHk9/u8f+LHiFZU+Wo3jtAsYvgJfb/nAOTMWHKakAFufsJ uH1BxDaFwoEXpXcDDqNjzqOUMnyjoZKhWG9nt8i3Gw1vZHb34fJtexHONyktOmWK temcbVyMKtbARMkbUrECFuh/OM0TIzrBjhw1iuk6CpM7rF30gCqimt5lot4me3MB 2LMFg1s/LIndwPE1XF5NTo4KRK5piJHG6BWEVrCh56BjNCNRPL3r74hKovqgN3pd kbEkXzvO0ryIG1yVOFpVTQKFH42miA== =OgjB -----END PGP SIGNATURE----- --t5jbcbw3nm5zayvr--