From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id EEFBCBC84 for ; Wed, 20 Apr 2005 16:11:31 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3KEBV22013638 for ; Wed, 20 Apr 2005 16:11:31 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA17182 for ; Wed, 20 Apr 2005 16:11:31 +0200 (MET DST) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.192]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3KEBUDG013631 for ; Wed, 20 Apr 2005 16:11:30 +0200 Received: by wproxy.gmail.com with SMTP id 69so170361wra for ; Wed, 20 Apr 2005 07:11:30 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:mime-version:content-type:content-transfer-encoding:content-disposition; b=dmbEhY+72f/OYlTG1WyIBpBgwQETmIJT7Zp3wtBBTtgPHYcVdUcRIoUjaRBBrySooAMvLLlss7HpTr6xFQDCJ2cfLkxZ6jg+uVgxHK0mmHwa+9fmQGkWssQ01YSWn59qnigJKoH4CuK6G68CKG41IsKGvvn4fFJah51slivkhLE= Received: by 10.54.50.13 with SMTP id x13mr343918wrx; Wed, 20 Apr 2005 07:11:25 -0700 (PDT) Received: by 10.54.22.11 with HTTP; Wed, 20 Apr 2005 07:11:24 -0700 (PDT) Message-ID: Date: Wed, 20 Apr 2005 10:11:24 -0400 From: Markus Mottl Reply-To: Markus Mottl To: Inria Ocaml Mailing List Subject: Godi-problem: setting C-compiler/linker Cc: gerd@gerd-stolpmann.de Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline X-Miltered: at nez-perce with ID 42666313.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42666312.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 gcc:01 flags:01 flags:01 compiler:01 makefiles:01 -verbose:01 ocaml:01 hacks:01 simpler:01 compiling:02 linking:03 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.5 required=5.0 tests=INFO_TLD,RCVD_BY_IP autolearn=disabled version=3.0.2 X-Spam-Level: Hi, we have discovered a linking problem with the OCaml-distribution in Godi. We want to be able to choose different C-compilers (e.g. gcc33) when compiling or linking. Unfortunately, Godi hacks the OCaml-distribution to insert some additional flags for finding shared libraries. These flags are lost when we want to set a compiler/linker using "-cc". We could, of course, hard code these flags into our Makefiles, but that's not particularly portable. Another way would be to link a dummy file with flag "-verbose" and use pattern matching on the displayed command line to extract the correct flags (very hacky, can easily break). What would be a better (=3D simpler, more portable) solution to this proble= m? Best regards, Markus --=20 Markus Mottl http://www.ocaml.info markus.mottl@gmail.com