From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA22402; Fri, 21 Dec 2001 09:24:38 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA22093 for ; Fri, 21 Dec 2001 09:24:37 +0100 (MET) Received: from quetelet.bik-gmbh.de (quetelet.bik-gmbh.de [194.233.237.132]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBL8Oar20797 for ; Fri, 21 Dec 2001 09:24:36 +0100 (MET) Received: from hars by quetelet.bik-gmbh.de with local (Exim 3.12 #1 (Debian)) id 16HKxA-0001yy-00; Fri, 21 Dec 2001 09:22:52 +0100 Date: Fri, 21 Dec 2001 09:22:52 +0100 From: Florian Hars To: Ian Zimmerman Cc: OCAML Subject: Re: [Caml-list] Segv while compiling ocaml-3.04 Message-ID: <20011221092252.B6254@hars> References: <3C19BAB4.13372263@univ-savoie.fr> <20011220115014.B5544@pauillac.inria.fr> <86u1ul5wya.fsf@speakeasy.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <86u1ul5wya.fsf@speakeasy.org>; from itz@speakeasy.org on Thu, Dec 20, 2001 at 02:49:17PM -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Dec 20, 2001 at 02:49:17PM -0800, Ian Zimmerman wrote: > Is it worth polluting the source for the sake of an out-and-out vendor > bug? I'd say no. There is a clean solution to this problem, as implemented in the configure-script of mplayer (severly edited, the full code is available at http://mplayerhq.hu/cgi-bin/cvsweb.cgi/main/configure): if test "$_skip_cc_check" != yes ; then echocheck "$_cc version" cc_version=`$_cc -v 2>&1 | sed -n 's/^.*version \([aegcygnustp-]*[0-9.]*\).*$/\1/p'` case $cc_version in 2.95.[2-9]|2.95.[2-9].[0-9]|3.[0-9]|3.[0-9].[0-9]) cc_version="$cc_version, ok" ;; *) cc_version="$cc_version, bad" cc_verc_fail=yes ;; esac echores "$cc_version" if test "$cc_verc_fail" ; then cat <