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 E36A0BB83 for ; Fri, 14 Apr 2006 23:41:27 +0200 (CEST) Received: from smtp6-g19.free.fr (smtp6-g19.free.fr [212.27.42.36]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k3ELfRmX012255 for ; Fri, 14 Apr 2006 23:41:27 +0200 Received: from courbet.kerguelen.org (courbet.kerguelen.org [82.226.7.107]) by smtp6-g19.free.fr (Postfix) with ESMTP id 643B922096 for ; Fri, 14 Apr 2006 23:41:27 +0200 (CEST) Received: from loranchet.kerguelen.org (loranchet.kerguelen.org [IPv6:2001:6f8:359::4]) by courbet.kerguelen.org (8.13.5.20060308/8.13.3) with ESMTP id k3ELfOmn017315 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 14 Apr 2006 23:41:26 +0200 (CEST) From: Jaap Boender To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: godi and threads??? Date: Fri, 14 Apr 2006 23:04:38 +0200 User-Agent: KMail/1.9.1 References: In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200604142304.38288.jaapb@kerguelen.org> X-Miltered: at nez-perce with ID 44401707.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; threads:01 tweak:01 makefile:01 makefile:01 threads:01 coq:01 2006:98 23,:98 2006:98 flowers:98 wrote:01 wrote:01 caml-list:01 compile:01 meantime:03 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=SPF_FAIL autolearn=disabled version=3.0.3 On Friday 14 April 2006 18:23, manfred wrote: > On Fri, 14 Apr 2006 19:08:48 +0200, manfred wrote: > > 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? > > In the meantime I found that I could specify the targets > in ~/godi/build/godi/godi-ocaml-http/Makefile which helped me to install > the package at least without threads support. You can, if you want, comment out the relevant lines in the Makefile for the godi-ocaml-src package (the ones that add '-no-pthread' to CONFIGURE_ARGS if your operating system is FreeBSD) in order to enable threads. I'm running FreeBSD 6 as well, and running this way hasn't given me any problems so far - I don't use ocaml-http, but Coq, which also doesn't compile without threads, runs fine. Jaap Boender -- For elegant phrases are nothing but flowers. -- Christopher Smart, "Jubilate Agno"