[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Demexp-dev] Mandriva package ?
From: |
Thomas Petazzoni |
Subject: |
Re: [Demexp-dev] Mandriva package ? |
Date: |
Thu, 17 Nov 2005 21:53:03 +0100 |
Hi,
On Tue, 15 Nov 2005 17:36:18 +0100
Christophe GUILLOUX <address@hidden> wrote:
> I join all .spec in attached file for a previous demexp package for
> mandrake. I don't know if they are good or not.
Thanks !
So far, I've been able to recompile noweb and findlib. However, I have
a problem with ocaml-equeue, which doesn't compile:
ocamlfind ocamlopt -package "" -c -thread unixqueue_mt.ml
ocamlfind: ocamlopt does not support multi-threaded programs for your
configuration
After some search, I found that the ocaml available in Mandriva was
compiled without -with-pthread. So I recompiled the ocaml package with
this option, but I still get the same error.
I've looked inside findlib code, but I don't really understand what's
going on. It seems that there are two types of threads: Posix Threads
(on Ocaml thread mapped to one Posix thread), and VM Threads (threads
simulated by Ocaml). The following source code:
( match !threads with
`None ->
()
| `VM_threads ->
if which = "ocamlopt" then
failwith "ocamlopt does not support multi-threaded programs
for your configuration"; pass_options := !pass_options @
[ "-vmthread" ]; predicates := "mt" :: "mt_vm" :: !predicates;
| `POSIX_threads ->
pass_options := !pass_options @ [ "-thread" ];
predicates := "mt" :: "mt_posix" :: !predicates;
seems to indicate that VM_Threads are not possible with ocamlopt.
However, I compiled ocaml with POSIX_threads, so it should work,
doesn't it ? Am I missing something ? How can I check that my Ocaml
compiler was really compiled with -with-pthread ?
Thanks !
Thomas
--
PETAZZONI Thomas - address@hidden
http://{thomas,sos,kos}.enix.org - Jabber: address@hidden
http://{agenda,livret}dulibre.org - http://www.toulibre.org
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7
signature.asc
Description: PGP signature