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 UAA10590; Tue, 29 Oct 2002 20:33:55 +0100 (MET) 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 UAA12603 for ; Tue, 29 Oct 2002 20:33:54 +0100 (MET) Received: from caduceus.sc.intel.com (fmr04.intel.com [143.183.121.6]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9TJXr511295 for ; Tue, 29 Oct 2002 20:33:53 +0100 (MET) Received: from petasus.sc.intel.com (petasus.sc.intel.com [10.3.253.4]) by caduceus.sc.intel.com (8.11.6/8.11.6/d: outer.mc,v 1.51 2002/09/23 20:43:23 dmccart Exp $) with ESMTP id g9TJX3e06769 for ; Tue, 29 Oct 2002 19:33:03 GMT Received: from mipos2.intel.com (mipos2-seg48.sc.intel.com [143.183.48.42]) by petasus.sc.intel.com (8.11.6/8.11.6/d: inner.mc,v 1.27 2002/10/16 23:46:59 dmccart Exp $) with ESMTP id g9TJXEa08392 for ; Tue, 29 Oct 2002 19:33:14 GMT Received: from zws707.sc.intel.com (zws707.sc.intel.com [143.183.38.79]) by mipos2.intel.com (8.11.6/8.11.6/MailSET/hub) with ESMTP id g9TJXpW17889; Tue, 29 Oct 2002 11:33:51 -0800 (PST) Received: (from ctchou@localhost) by zws707.sc.intel.com (8.8.6/8.8.6) id LAA17940; Tue, 29 Oct 2002 11:36:43 -0800 (PST) Date: Tue, 29 Oct 2002 11:36:43 -0800 (PST) Message-Id: <200210291936.LAA17940@zws707.sc.intel.com> X-Authentication-Warning: zws707.sc.intel.com: ctchou set sender to ctchou@mipos2.intel.com using -f From: Ching-Tsun Chou To: caml-list@inria.fr Subject: [Caml-list] O'Caml 3.06 on RedHat Linux 8.0? Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Has anyone tried O'Caml 3.06 on RedHat Linux 8.0? I just want to make sure that the combination works before I upgrade my Linux. In particular, RedHat 8.0 uses gcc 3.2 and glibc 2.2.93. Thanks in advance! - Ching Tsun ------------------- 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