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 D523B80143 for ; Sat, 3 Jun 2017 11:08:15 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.216.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yallop@gmail.com designates 209.85.216.181 as permitted sender) identity=mailfrom; client-ip=209.85.216.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@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-qt0-f181.google.com) identity=helo; client-ip=209.85.216.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qt0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ARiJ2kR1d23tHK9aasmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIVL/ad9pjvdHbS+e9qxAeQG96KtbQZ1KKW6/mmAj1fp87Z8TgrS99laVwssY?= =?us-ascii?q?Yso0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?buv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/fu8QSgIZuMKY8xxnUqXdMZ+?= =?us-ascii?q?ha2HlkKFyXkhv+/Mu84IJv/yFNsP896sBMVrn3cKs/QbFEFjoqNHw76tP2vhfZ?= =?us-ascii?q?VwuP4XUcUmQSkhVWBgXO8Q/3UJTsvCbkr+RxwCaVM9H4QrAyQjSi8rxkSAT0hy?= =?us-ascii?q?cdNj4263/Yh8pth69Guh2hphh/w4nJYIGJMfd1Y63Qcc8GSWdHQ81cTDJKDJ+i?= =?us-ascii?q?YIQTDuoBJedYoJf7p1sSthu1GA2gCPryxjNUmnP62Ks32PkjHw7bxgwtB9ABsH?= =?us-ascii?q?rUotv7N6kcTP67w7XTwDXfc/9bwyvx5JTUfh0jp/yHQLJ+cdDWyUkqDw7Likuf?= =?us-ascii?q?qZb7MDOQ1uUGrmqU4PBkVeKrjG4nsxx6rz+vx8g2jonJgoUVykjf+CV2xYY6P9?= =?us-ascii?q?y4SEphbdG4F5tQsjiXOo1rSc0sRGFovTw1yrwAuZOjcygKyYgnxx7Ca/OcaYSH?= =?us-ascii?q?/hXjVOOXLDxlh3xlYKqyiwiu/UWk0OHxVcm53ExUoiZYk9TArG0B2h/O5sWBV/?= =?us-ascii?q?Bz5F2u2SyV2ADW8uxEIV47la7cK5M5x74/jJsTsUDaEi/vhEX6kLaadks59uWr?= =?us-ascii?q?9ujreLrmppibN497jgHxLL4ildC4AeQ9KgQOXm6b9vqg1LD740H1XLFHguc1n6?= =?us-ascii?q?TZqpzWO9kXq6+jDwNI0Ysv9g6zDzK839QZmXkHIkhFeBWCj4XxO1DBOvT4DfO4?= =?us-ascii?q?g1S0izpryPXGMafgApXJNHTMjLDhfbNl505G1AUz1cxf545TCrwZPP38QErxtN?= =?us-ascii?q?jBAh89Mgy02PrnBc5m1oIeXGKPGrWWPLnTsV+O/OIvIvODaJUbuDbneLAZ4KvD?= =?us-ascii?q?k3A0n05VXqmz1J4Lc3emVqB2OUycfWHrnP8OFG4Lukw1S+m823OYVjsGRXuoUq?= =?us-ascii?q?ctrgAyDIahFc+XV4mphLuZ9Ci+F5xSIGtBDwbfQj/Ta4yYVqJUO2qpKch7n2lB?= =?us-ascii?q?DOD5Rg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DmAABMezJZhrXYVdFcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBhA97EgeDbJwZlX2CECyFeAKCdQdAFwEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQgLCwgoL4IzJAGCQQECAyMdARsdAQMMBgULAwoCAiYCAiEBAREBBQEcB?= =?us-ascii?q?hOKEQEDFRChHz+MB4IEBQEcgwoFg2QKGScNVoJ5AQEBAQEBBAEBAQEBGwIBBRJ?= =?us-ascii?q?5iUmBDIJYhSSCYQWdeDuHIoczhFiBbpAOizyHWxQfgRUhAoE+MCEIGxVGGYReH?= =?us-ascii?q?4FxPzaJbQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DmAABMezJZhrXYVdFcGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBhA97EgeDbJwZlX2CECyFeAKCdQdAFwEBAQEBAQEBAQEBEgEBAQgLCwgoL?= =?us-ascii?q?4IzJAGCQQECAyMdARsdAQMMBgULAwoCAiYCAiEBAREBBQEcBhOKEQEDFRChHz+?= =?us-ascii?q?MB4IEBQEcgwoFg2QKGScNVoJ5AQEBAQEBBAEBAQEBGwIBBRJ5iUmBDIJYhSSCY?= =?us-ascii?q?QWdeDuHIoczhFiBbpAOizyHWxQfgRUhAoE+MCEIGxVGGYReH4FxPzaJbQEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,289,1493676000"; d="scan'208";a="227181034" Received: from mail-qt0-f181.google.com ([209.85.216.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Jun 2017 11:08:14 +0200 Received: by mail-qt0-f181.google.com with SMTP id c13so74236269qtc.1 for ; Sat, 03 Jun 2017 02:08:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=0oZlQuao43Hfg6rZnTT/TPsYeu1uo+rM2hCh1UQ3f7A=; b=dXRpp3QfhHSZviXZwvUzK817/Y3vd9QbRhWMmEziHZOGQPBLHAI7VRaYHtzFaEcAzL Og0KIp2S42a1JJzrjiR12u7ngmEofoTIPEJw5d4b7C7Ysvw12KYZvzXqi8/bYN/CB+Gc TuL1G5c55gOa5gSROeQGN/jMlu5gKIxJe71eUTwsmu+0ORFabItDheSUXigpJ9KB7ECT YTT1lxLXsWpLHuOt2CwMToVDavU4VP8UCV5XbyV0/jXafaDVRYstobZBmaNdjFYekCpp iSA6UiaKQ0/F4sv04XNj9rco4NE8v0z1fs2sGDbAqgd1mrHNq9JyOpJ8vPNTTcjZX0TO HSQQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=0oZlQuao43Hfg6rZnTT/TPsYeu1uo+rM2hCh1UQ3f7A=; b=Q5QNC0GGEGKXeGNHcZSLrFFbVtk6f59cSO/YToh6jQnxJ6fY4sYnvPSMIepwSVycIS 9uF8oyw8SJI83xSD70J0jJIcn+IUvKv01yKS8O0HSdC+KWqixS3OXwgmLWmnYLB0wguJ 6veMWy/u3z1WKhlRvRMRytb8trXhSPl4KX95WKPgGhx8m8FerzoEoimwF36+3dhGK/x5 LXIDPiZVInQNcjJS8eD1nQnQK5aJ6SCiIQzQ8XfWyBCoIdg5ZYFBWMTom6l3+nxpT/rH hva5/i+DycjsWDCEWB6oK5lW2JBjMb9vM1pyGrULDZdEnMyxsXC//Hj+kYZnqCApeMAb wjiQ== X-Gm-Message-State: AODbwcDzmdDaGTOfmBlxwsJ42fUFLDSztfRpOUAd8th63oIrh5wlQEUY FkQbhxvs4xAqi6taOikvLFg+feMWjA== X-Received: by 10.237.45.103 with SMTP id h94mr13483133qtd.204.1496480893525; Sat, 03 Jun 2017 02:08:13 -0700 (PDT) MIME-Version: 1.0 Received: by 10.55.185.134 with HTTP; Sat, 3 Jun 2017 02:08:12 -0700 (PDT) In-Reply-To: <20170603082654.569c6edf@zinid.ru> References: <20170602173221.0583a14c@zinid.ru> <20170602150557.GA91690@www1.g3.pair.com> <20170603082654.569c6edf@zinid.ru> From: Jeremy Yallop Date: Sat, 3 Jun 2017 10:08:12 +0100 Message-ID: To: Evgeny Khramtsov Cc: Caml List Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] Delimcc bug On 3 June 2017 at 06:26, Evgeny Khramtsov wrote: > Fri, 2 Jun 2017 11:05:57 -0400 > oleg@okmij.org wrote: > >> So, special flags are required to switch >> off some optmizations. > > I confirm, replacing -O2 with -O0 flag for compiling stacks-native.c > fixes the problem. > However, I think this (or something better) should be applied in the > patch used to compile delimcc by opam (makefile_fix.patch). The best way to achieve this is to send a pull request to the opam-repository repository: https://github.com/ocaml/opam-repository/pulls mentioning the package maintainer (@rgrinberg) in the description. Kind regards, Jeremy