From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 58D3ABBAF for ; Thu, 18 Sep 2008 18:59:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoICAO4l0kjAXQImiGdsb2JhbACTDgEBAQ8gpw6BZw X-IronPort-AV: E=Sophos;i="4.32,422,1217800800"; d="scan'208";a="15105671" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Sep 2008 18:59:14 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8IGxDHb006143 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 18 Sep 2008 18:59:14 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBABUl0kjUGyocmmdsb2JhbACTDgEBAQEBCAUIBxEDpw6BZw X-IronPort-AV: E=Sophos;i="4.32,422,1217800800"; d="scan'208";a="17103660" Received: from smtp2-g19.free.fr ([212.27.42.28]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Sep 2008 18:59:13 +0200 Received: from smtp2-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp2-g19.free.fr (Postfix) with ESMTP id E011212BA42; Thu, 18 Sep 2008 18:59:12 +0200 (CEST) Received: from [192.168.1.3] (che78-2-82-237-71-191.fbx.proxad.net [82.237.71.191]) by smtp2-g19.free.fr (Postfix) with ESMTP id 3B15612B9F1; Thu, 18 Sep 2008 18:59:11 +0200 (CEST) Message-ID: <48D288DE.3060102@inria.fr> Date: Thu, 18 Sep 2008 18:59:10 +0200 From: Xavier Leroy User-Agent: Thunderbird 2.0.0.4 (X11/20070620) MIME-Version: 1.0 To: Richard Jones Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocamlopt generates binaries with executable stacks References: <20080609175622.GA10624@annexia.org> <485663CB.2050509@inria.fr> <20080616211434.GA13580@annexia.org> In-Reply-To: <20080616211434.GA13580@annexia.org> X-Enigmail-Version: 0.95.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48D288E1.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlopt:01 hand-written:01 runtime:01 gentoo:01 gcc:01 binaries:01 caml-list:01 assembler:02 asm:02 executable:03 stacks:03 let:03 xavier:06 xavier:06 inria:06 >> Note that in 3.11, the "configure" script will have options to specify >> how to call the assembler (for ocamlopt-generated assembly code and >> for the hand-written asm files in the runtime system). So it might be >> sufficient to configure the Gentoo packages with e.g. >> >> configure -as "as --noexecstack" -aspp "gcc -c -Wa,--noexecstack" >> >> This could be one of the rare cases where addressing the issue at the >> level of the packages is safer than by changing the source distribution. > > Fair enough. I'll check this out and get back if it doesn't work. For the record, in the working sources that will be released as 3.11, I added the "no exec note" in assembly files for Linux/x86 and Linux/AMD64, but no other platforms so far because I can't test on them. If someone with access to other Linux platforms is willing to experiment and confirm that it works, let me know. This said, the configure trick above might do the job just as well. - Xavier Leroy