godi and threads???

godi and threads???

[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?



-- 
Manfred

Re: [Caml-list] godi and threads???

[Gerd Stolpmann]

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.

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------

Re: godi and threads???

[manfred]

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

Re: godi and threads???

[manfred]

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.


-- 
Manfred

Re: [Caml-list] Re: godi and threads???

[Jaap Boender]

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"