Version française
Home     About     Download     Resources     Contact us    
Browse thread
godi and threads???
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jaap Boender <jaapb@k...>
Subject: Re: [Caml-list] Re: godi and threads???
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"