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 QAA03078; Mon, 9 Sep 2002 16:26:03 +0200 (MET DST) 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 QAA03173 for ; Mon, 9 Sep 2002 16:26:02 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g89EPt114115; Mon, 9 Sep 2002 16:25:55 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA03194; Mon, 9 Sep 2002 16:25:54 +0200 (MET DST) Date: Mon, 9 Sep 2002 16:25:54 +0200 From: Xavier Leroy To: Erik Arneson Cc: OCaml Mailing List Subject: Re: [Caml-list] OCaml 3.0.6 build problems (Linux Alpha) Message-ID: <20020909162554.E1781@pauillac.inria.fr> References: <15738.32451.271556.2326@monkey.x.aarg.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <15738.32451.271556.2326@monkey.x.aarg.net>; from erik@aarg.net on Sat, Sep 07, 2002 at 03:33:39PM -0700 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I'm having problems building OCaml 3.0.6 on Linux Alpha. This is a known problem with recent libc versions on 64-bit Linux. The good news is that the workaround is already in the 3.06 sources, it just needs to be activated at configuration time. The patch below to "configure" should do the job. - Xavier Leroy Index: csl/configure diff -c csl/configure:1.174 csl/configure:1.175 *** csl/configure:1.174 Wed Aug 7 14:45:00 2002 --- csl/configure Tue Aug 27 10:30:53 2002 *************** *** 13,19 **** # # ######################################################################### ! # $Id: configure,v 1.174 2002/08/07 12:45:00 garrigue Exp $ configure_options="$*" prefix=/usr/local --- 13,19 ---- # # ######################################################################### ! # $Id: configure,v 1.175 2002/08/27 08:30:53 xleroy Exp $ configure_options="$*" prefix=/usr/local *************** *** 495,501 **** # Further machine-specific hacks case "$host" in ! ia64-*-linux*) echo "Will use mmap() instead of malloc() for allocation of major heap chunks." echo "#define USE_MMAP_INSTEAD_OF_MALLOC" >> s.h;; esac --- 495,501 ---- # Further machine-specific hacks case "$host" in ! ia64-*-linux*|alpha*-*-linux*) echo "Will use mmap() instead of malloc() for allocation of major heap chunks." echo "#define USE_MMAP_INSTEAD_OF_MALLOC" >> s.h;; esac ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners