From: David Mentre <david.mentre@wanadoo.fr>
To: Christophe Raffalli <raffalli@univ-savoie.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Float and OCaml C interface
Date: 12 Jan 2002 22:32:36 +0100 [thread overview]
Message-ID: <874rlr6yrv.fsf@oops.i-did-not-set--mail-host-address--so-shoot-me> (raw)
In-Reply-To: <87pu4f6zpp.fsf@oops.i-did-not-set--mail-host-address--so-shoot-me>
David Mentre <david.mentre@wanadoo.fr> writes:
> Christophe Raffalli <raffalli@univ-savoie.fr> writes:
>
> > another question, I use C because I want dynamic linking with native
> > compilation (I want the dynamically loaded code to be native too). Is it
> > possible to implement that for OCaml ?
>
> Yes, look at the Asmdynlink module in the Hump.
Sorry, I overlocked asmdynlink description. Here are the (supposed)
correct answers:
dl-runtime: a patch for using primitives from shared libraries with OCaml 3.00
http://www.eleves.ens.fr:8080/home/frisch/soft#dl-runtime
SCaml : A patch, against OCaml 3.04, making it possible to: create,
link against and dynamically load shared objects on i386 ELF platforms.
http://algol.prosalg.no/~malc/scaml/
Best regards,
d.
--
david.mentre@wanadoo.fr
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next prev parent reply other threads:[~2002-01-12 21:33 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-01-04 2:55 [Caml-list] Stop at exception Magesh Kannan
2002-01-04 13:46 ` Xavier Leroy
2002-01-05 11:19 ` [Caml-list] Non-mutable strings Mattias Waldau
2002-01-05 22:01 ` YAMAGATA yoriyuki
2002-01-10 17:56 ` Xavier Leroy
2002-01-10 18:25 ` [Caml-list] Float and OCaml C interface Christophe Raffalli
2002-01-12 21:12 ` David Mentre
2002-01-12 21:32 ` David Mentre [this message]
2002-01-23 15:07 ` [Caml-list] " Xavier Leroy
2002-01-23 16:02 ` David Monniaux
2002-01-10 18:41 ` [Caml-list] Non-mutable strings Patrick M Doane
2002-01-10 18:50 ` Brian Rogoff
2002-01-13 20:05 ` Nicolas George
2002-01-16 19:22 ` Mattias Waldau
2002-01-17 9:56 ` YAMAGATA yoriyuki
2002-01-17 10:19 ` Jerome Vouillon
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=874rlr6yrv.fsf@oops.i-did-not-set--mail-host-address--so-shoot-me \
--to=david.mentre@wanadoo.fr \
--cc=caml-list@inria.fr \
--cc=raffalli@univ-savoie.fr \
/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