From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr 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 14123BB9C for ; Tue, 22 Nov 2005 11:54:45 +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 jAMAsihV024768 for ; Tue, 22 Nov 2005 11:54:44 +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 LAA07475 for ; Tue, 22 Nov 2005 11:54:44 +0100 (MET) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.173]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAMAsh6S008830 for ; Tue, 22 Nov 2005 11:54:43 +0100 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1EeVnP-0004ei-00; Tue, 22 Nov 2005 11:54:43 +0100 Received: from [84.58.136.104] (helo=gate.lan.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1EeVnP-0000AJ-00; Tue, 22 Nov 2005 11:54:43 +0100 Received: from gps.dynxs.de (localhost [127.0.0.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id BF496C097; Tue, 22 Nov 2005 11:54:42 +0100 (CET) Received: from 192.168.1.2 (proxying for 194.127.8.19) (SquirrelMail authenticated user gerd) by gps.dynxs.de with HTTP; Tue, 22 Nov 2005 11:54:42 +0100 (CET) Message-ID: <2659.192.168.1.2.1132656882.squirrel@gps.dynxs.de> In-Reply-To: <20051121225903.0551f20e@crazy.kos.nx> References: <20051121225903.0551f20e@crazy.kos.nx> Date: Tue, 22 Nov 2005 11:54:42 +0100 (CET) Subject: Re: [Caml-list] Trouble with findlib and threads From: "Gerd Stolpmann" To: "Thomas Petazzoni" Cc: caml-list@inria.fr User-Agent: SquirrelMail/1.4.4 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at concorde with ID 4382F8F4.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4382F8F3.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 findlib:01 threads:01 gerd:01 stolpmann:01 findlib:01 threads:01 recompiled:01 ocaml:01 compiler:01 ocamlopt:01 -thread:01 cmxa:01 ocamlfind:01 ocamlopt:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Thomas Petazzoni said: > Hi, > > [ As I'm not on the list, please Cc: the replies. Thanks ! ] > > I'm trying to get findlib to work with threads support on a Mandriva > 2006 (mainly to compile equeue). For this, I've recompiled the Ocaml > compiler with --with-pthread, and then findlib. However, it still > doesn't work: > > [tpetazzoni@thomas tmp]$ cat toto.ml > let f a =3D a + 1 > [tpetazzoni@thomas tmp]$ ocamlopt -thread threads.cmxa toto.ml > [tpetazzoni@thomas tmp]$ ocamlfind ocamlopt -thread threads.cmxa toto.m= l > ocamlfind: ocamlopt does not support multi-threaded programs for your > configuration > > I've tested findlib 1.0.4 and 1.1, both with OCaml 3.08.3. Any idea ? This is a configuration issue. I need the output of the configure script of findlib to help you. Obviously, findlib did not detect that multi-threading is supported. Gerd ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------