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=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 6CED6BC69 for ; Sat, 24 Nov 2007 04:14:37 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAE4lR0fAXQInh2dsb2JhbACPPQEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,459,1188770400"; d="scan'208";a="4848469" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 24 Nov 2007 04:14:37 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lAO3EacZ005954 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 24 Nov 2007 04:14:36 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAE4lR0dA6ba6kGdsb2JhbACPPQEBAQEHAgYkBw X-IronPort-AV: E=Sophos;i="4.21,459,1188770400"; d="scan'208";a="4848457" Received: from nf-out-0910.google.com ([64.233.182.186]) by mail1-smtp-roc.national.inria.fr with ESMTP; 24 Nov 2007 04:14:33 +0100 Received: by nf-out-0910.google.com with SMTP id g13so12048nfb for ; Fri, 23 Nov 2007 19:14:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:received:date:to:subject:message-id:mail-followup-to:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; bh=RPDBZqcTNlfMF/bCBW3PsSnWvdESPz0q5r0cH24s8zI=; b=UoiQZBbckUdEIG/mum7A9krKZoYZ41Ak5Zx5G6KxN7z+mcvHVlwdG/faThNuHpqrlNKbfTPh/cMBSxcwFkuaFwO5r/s+dFKCIf+CtWoUfPHxXhA1ZoHPUolUPMr5b35OjmEGyaL9/d6lH1502IjSH/53KMhiEAUhh/P3QlbQgA4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=received:date:to:subject:message-id:mail-followup-to:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; b=kSA6NigabAwBiyuQb48ICSsGls6ndX3BNKxhAYlSpLqOzY9b5dz3W+Jc3+uZhmOLaWnOexCxkbGSBMcT6SN+aVmPbk0Zd+pSQoWY6gbtrZGHkTrpEu71UOSvK9z3pHB3o4iQUB9kQHd2ghpbUCNDDsuDEOZfyi4RYjAD5r2w65w= Received: by 10.86.97.7 with SMTP id u7mr42095fgb.1195874072868; Fri, 23 Nov 2007 19:14:32 -0800 (PST) Received: from localhost ( [82.122.248.16]) by mx.google.com with ESMTPS id 4sm1583169fgg.2007.11.23.19.14.29 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 23 Nov 2007 19:14:31 -0800 (PST) Received: by localhost (sSMTP sendmail emulation); Sat, 24 Nov 2007 04:15:44 +0100 Date: Sat, 24 Nov 2007 04:15:44 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] Re: Options order for ocamlc/opt/opt.opt Message-ID: <20071124031544.GA11916@localhost> Mail-Followup-To: Julien Moutinho , caml-list@inria.fr References: <200711230243.34108.toots@rastageeks.org> <200711231740.27208.toots@rastageeks.org> <20071124031046.GA2581@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20071124031046.GA2581@localhost> User-Agent: Mutt/1.5.17 (2007-11-01) From: Julien Moutinho X-Miltered: at concorde with ID 4747971C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlc:01 0100,:01 -cclib:01 clflags:01 ccobjs:01 foo:01 flags:01 printf:01 sprintf:01 clflags:01 ccomp:01 ccopts:01 ccomp:01 ccobjs:01 runtime:01 On Sat, Nov 24, 2007 at 04:10:46AM +0100, Julien Moutinho wrote: > Options passed to -cclib are in !Clflags.ccobjs to which -l flags are appended, > hence your patch: > Printf.sprintf "%s %s %s %s %s %s %s %s %s %s -o %s" > !Clflags.c_linker > (if !Clflags.gprofile then Config.cc_profile else "") > (Clflags.std_include_flag "-I") > (Ccomp.quote_files > (List.map (fun dir -> if dir = "" then "" else "-L" ^ dir) > !load_path)) > (String.concat " " !Clflags.ccopts) > (Ccomp.quote_files (List.rev !Clflags.ccobjs)) > (Filename.quote startup_file) > (Ccomp.quote_files (List.rev file_list)) > (Ccomp.quote_optfile runtime_lib) > c_lib > (Filename.quote output_name) Sorry, copy/paste error your patch is: Printf.sprintf "%s %s %s %s %s %s %s %s %s %s -o %s" !Clflags.c_linker (if !Clflags.gprofile then Config.cc_profile else "") (Clflags.std_include_flag "-I") (Ccomp.quote_files (List.map (fun dir -> if dir = "" then "" else "-L" ^ dir) !load_path)) (String.concat " " !Clflags.ccopts) (Filename.quote startup_file) (Ccomp.quote_files (List.rev file_list)) (Ccomp.quote_optfile runtime_lib) (Ccomp.quote_files (List.rev !Clflags.ccobjs)) (* here is !Clflags.ccobjs *) c_lib (Filename.quote output_name) It changes nothing to what I said previously.