From: Paul Steckler <Paul.Steckler@nicta.com.au>
To: "caml-list@yquem.inria.fr" <caml-list@yquem.inria.fr>
Cc: "rjones@redhat.com" <rjones@redhat.com>
Subject: Multi-threaded programs using MinGW x-compiler
Date: Mon, 24 May 2010 11:39:07 +1000 [thread overview]
Message-ID: <2EB36A07AAE8C44BBB1986425E7A22D00FF060AD0D@atp-mbx1.in.nicta.com.au> (raw)
Has anyone gotten an OCaml multithreaded program to build for Win32 native threads using the
MinGW ocaml cross-compiler?
At least with the Fedora distribution of that compiler, there's a libthreadsnat.a, but it's
missing some symbols. The source for that library assumes the availability of pthreads
and Unix-style signals on the target. There is a pthreads library for MingGW, but there
isn't a complete emulation of signals on Windows. So I think another approach is needed.
Maybe the cross-compiler can instead generate calls to the procedures in the native threads
library that's distributed with the Windows version of OCaml. That library would have
to be converted, somehow, from the .lib format to the .a format.
-- Paul
--
Paul Steckler
National ICT Australia
paul DOT steckler AT nicta.com.au
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
next reply other threads:[~2010-05-24 1:39 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-24 1:39 Paul Steckler [this message]
2010-05-24 10:03 ` Richard W.M. Jones
2010-05-24 12:22 ` [Caml-list] " Török Edwin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2EB36A07AAE8C44BBB1986425E7A22D00FF060AD0D@atp-mbx1.in.nicta.com.au \
--to=paul.steckler@nicta.com.au \
--cc=caml-list@yquem.inria.fr \
--cc=rjones@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).