Interesting to see that it's not working on 3.12.1. I ran into the same problem with 4.00.0, also on amd64. I've been successfully using delimcc (native) on a 32-bit machine with ocaml 3.12.0.
Based on this message from Oleg...
... delimcc's native implementation should have been more portable, and it was working for 3.12.0 on amd64. So likely a change brought in with 3.12.1 needs to be accommodated. This is a lot simpler to investigate than the jump to 4.0! I might look at it today, depending on visiting company.
This is encouraging. Up to now I've been using my older machine rather than dig into this problem.
Tony
On Sat, Oct 13, 2012 at 7:06 AM, Christophe Raffalli
<christophe.raffalli@univ-savoie.fr> wrote:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hello,
I failed to have the delimited continuation library working
with ocaml 3.12.1 on an amd64. bytecode is fine but
native code segfaults one the provided regression test:
raffalli@delli7:~/Caml/caml-shift$ make testd0opt
/usr/bin/ocamlopt -o testd0opt -cclib -L. delimcc.cmxa testd0.ml
./testd0opt
make: *** [testd0opt] Erreur de segmentation
make: *** Destruction du fichier « testd0opt »
I tried both the provided header file and those of the
original distribution.
Did anyone succeded with delimcc on 3.12.1 or 4.0.X ?
Cheers,
Christophe
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAlB5Z0wACgkQi9jr/RgYAS7apwCeJ4u+Wd9ScYU4aLWzZMZBuchU
beYAn3rjvAWfnVsEsLn9UR9HBxsVSrOd
=Mozm
-----END PGP SIGNATURE-----
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs