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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id BAE0BBB83 for ; Fri, 14 Apr 2006 18:09:40 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k3EG9eOl021083 for ; Fri, 14 Apr 2006 18:09:40 +0200 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 SAA20783 for ; Fri, 14 Apr 2006 18:09:39 +0200 (MET DST) Received: from ciao.gmane.org (main.gmane.org [80.91.229.2]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k3EG9cs8021076 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Fri, 14 Apr 2006 18:09:39 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1FUQrG-0006tZ-7s for caml-list@inria.fr; Fri, 14 Apr 2006 18:09:18 +0200 Received: from dslb-084-058-010-180.pools.arcor-ip.net ([84.58.10.180]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 14 Apr 2006 18:09:18 +0200 Received: from manfred.lotz by dslb-084-058-010-180.pools.arcor-ip.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 14 Apr 2006 18:09:18 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: manfred Subject: Re: godi and threads??? Date: Fri, 14 Apr 2006 18:08:48 +0200 Message-ID: References: <1145030280.5345.25.camel@localhost.localdomain> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: dslb-084-058-010-180.pools.arcor-ip.net User-Agent: Pan/0.14.2.91 (As She Crawled Across the Table) Sender: news X-Miltered: at nez-perce with ID 443FC944.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 443FC942.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; threads:01 gerd:01 stolpmann:01 ocamlfind:01 ocamlopt:01 lib:01 ocaml:01 makefile:01 config:01 ocaml:01 threads:01 lib:01 makefile:01 config:01 prerelease: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 On Fri, 14 Apr 2006 18:57:59 +0200, Gerd Stolpmann wrote: > Am Freitag, den 14.04.2006, 11:18 +0200 schrieb manfred: >> Hi there, >> I installed godi and tried to build ocaml-http when I got >> >> ocamlfind: ocamlopt does not support multi-threaded programs for >> your configuration >> >> during the build process. >> >> In ~/godi/lib/ocaml/std-lib/Makefile.config I have >> OCAML_THREADS=vm >> >> In ~/godi/lib/ocaml/std-lib/Makefile.config I have >> SYSTHREAD_SUPPORT=false >> >> I'm running FreeBSD 6.1 Prerelease. >> >> Changing any of those values didn't help. >> >> Any idea? > > Yes. > > In the current GODI release, pthreads are turned off for FreeBSD. The > reason is poor support by FreeBSD, which only has a user-level pthread > implementation. Due to the O'Caml architecture, this even harmed > single-threaded applications. > > In recent tests, things have become better, and it is likely that we > will again allow multi-threading at the user's option. > I see. This means that in order to get ocaml-http installed I need to tweak its makefile. Or do I have any other option? -- Thanks, Manfred