From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id EFCE5BC8C for ; Tue, 18 Jan 2005 09:07:05 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0I875nf019962 for ; Tue, 18 Jan 2005 09:07:05 +0100 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 JAA24712 for ; Tue, 18 Jan 2005 09:07:05 +0100 (MET) Received: from ptb-relay02.plus.net (ptb-relay02.plus.net [212.159.14.213]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j0I8746u023422 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 18 Jan 2005 09:07:04 +0100 Received: from [80.229.56.224] (helo=chetara) by ptb-relay02.plus.net with esmtp (Exim) id 1CqoOF-0001wj-Ez; Tue, 18 Jan 2005 08:07:03 +0000 From: Jon Harrop Organization: University of Cambridge To: stef@payrard.net, Ocaml Subject: Re: [Caml-list] (no subject) Date: Tue, 18 Jan 2005 08:09:14 +0000 User-Agent: KMail/1.7.1 References: <20050118073327.GA8298@cachan-2-82-67-232-89.fbx.proxad.net> In-Reply-To: <20050118073327.GA8298@cachan-2-82-67-232-89.fbx.proxad.net> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Message-Id: <200501180809.15056.jon@jdh30.plus.com> X-Miltered: at concorde with ID 41ECC3A9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41ECC3A8.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 wrote:01 ocaml:01 rpms:01 usr:01 lib:01 ocaml:01 lablgtk:01 gtkthread:01 cmx:01 usr:01 lib:01 threads:01 threads:01 cmxa:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: On Tuesday 18 January 2005 07:33, St=E9phane Payrard wrote: > Hi, > > I am an ocaml beginner and I try to compile the last snapshot of > camelon. I am using mandrake with the following rpms: > ocaml-lablgtk-1.2.7-1mdk > ocaml-3.08.2-1mdk > > I get the following message when trying to compile: > > Files /usr/lib/ocaml/lablgtk/gtkThread.cmx > and /usr/lib/ocaml/threads/threads.cmxa > make inconsistent assumptions over implementation Thread > > Should I use different versiosn of either lablgtk or ocaml? > The INSTALL file suggest OCaml 3.07 and LablGtk 1.2.6 . > Or is there an easy way to tweak cameleon to get it to compile > with the ocaml and lablgtk versions I have. I think this problem is due to different ocaml versions being used to gener= ate=20 lablgtk and threads. Interfaces between OCaml compilation units are *very* brittle. This is bein= g=20 discussed on the list at the moment, as even a minor version change of the= =20 compiler (e.g. 3.08.2 -> 3.08.3) breaks compatibility. The good news is that this binary incompatibility is because the compiler i= s=20 very pedantic about interfaces and guarantees that everything will work. Your best bet is either to compile all of the packages yourself or to use=20 someone else's packages. I find Debian to be excellent in this respect. Cheers, Jon. PS: 3.08 has some useful additions which you may well find that people use = in=20 their code now (e.g. immediate objects).