caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Stefano Zacchiroli <zack@upsilon.cc>
To: OCaml Mailing List <caml-list@inria.fr>
Cc: "Xavier Leroy" <xavier.leroy@inria.fr>,
	"Grégoire Henry" <Gregoire.Henry@pps.jussieu.fr>
Subject: CamlJava w/ recent JVMs - solved (patches needed and included)
Date: Tue, 1 Dec 2009 11:52:48 +0100	[thread overview]
Message-ID: <20091201105248.GA30936@usha.takhisis.invalid> (raw)
In-Reply-To: <20091123155537.GA10062@usha.takhisis.invalid>

On Mon, Nov 23, 2009 at 04:55:37PM +0100, Stefano Zacchiroli wrote:
> Has anyone successfully built/used CamlJava [1] with recent OCaml and
> the open sourced Sun's JVM (OpenJDK)?

With the tremendous help of Grégoire Henry, we've come up to a fixed
version of CamlJava that:

- works well with recent JVMs (both Sun's 1.6 and OpenJDK)
  * fixes are both for building and for avoiding segfaults due to a
    distinction among local and global references introduced by JNI 1.6
- is a bit more debugger friendly
- has _conditional_ automatic mapping of Java strings to OCaml strings
  (needed by O'Jacare [1])
- is a bit more careful/strict in case of multithreading: you must
  ensure all Java-OCaml callbacks are called from the very same thread
  (need spotted by O'Jacare a while ago)
- fixes various minor issues that help packages

All patches are available at [2] and contain appropriate
descriptions.

The patches are integrated in the Debian package of CamlJava that I've
just uploaded to the archive. While the package gets processed for
copyright review, it is also available at:

  deb http://people.debian.org/~zack/debian zack-unstable/
  deb-src http://people.debian.org/~zack/debian zack-unstable/

Xavier: can you please consider integrating the above patches in a new
release of CamlJava?

AFAIK, a new release of O'Jacare based on the above work is being worked
on by Grégoire.

Cheers.

[1] http://www.pps.jussieu.fr/~henry/ojacare/index.en.html
[2] http://git.debian.org/?p=pkg-ocaml-maint/packages/camljava.git;a=tree;f=debian/patches

-- 
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..|  .  |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime


      parent reply	other threads:[~2009-12-01 10:52 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-11-23 15:55 CamlJava w/ recent OCaml (3.11.1) and Sun's JVM (OpenJDK) Stefano Zacchiroli
2009-11-24 14:00 ` [Caml-list] CamlJava - patch to *build* w/ recent JDK Stefano Zacchiroli
2009-12-01 10:52 ` Stefano Zacchiroli [this message]

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=20091201105248.GA30936@usha.takhisis.invalid \
    --to=zack@upsilon.cc \
    --cc=Gregoire.Henry@pps.jussieu.fr \
    --cc=caml-list@inria.fr \
    --cc=xavier.leroy@inria.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;
as well as URLs for NNTP newsgroup(s).