[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2006-04-14 (21:41) |
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"