On 05/28/2010 11:06 PM, Stéphane Glondu wrote:
Is there a practical test to be sure whether natdynlink works or not?
The only way to test if natdynlink works that I know is to try it. In
the current trunk, set NATDYNLINK=true in config/Makefile after
configure, compile everything, and then run the tests in
testsuite/tests/lib-dynlink-native (from testsuite/: "make one
DIR=tests/lib-dynlink-native"). Any other application that uses Dynlink
in native code is also a sufficient test.
What kind of "feedback" do you expect?
Whether natdynlink works or not + the value of $host, $arch64 (and other
relevant variables) in the configure script.
As far as Debian is concerned, Coq
dynamically loading ssreflect and compiling stuff works on all native
architectures [2] (as of OCaml 3.11.2), that means:
- powerpc (powerpc64-unknown-linux-gnu)
- sparc (sparc-unknown-linux-gnu)
- kfreebsd-i386 (i686-unknown-kfreebsd*-gnu)
- kfreebsd-amd64 (x86_64-unknown-kfreebsd*-gnu)
- hurd-i386 (i386-unknown-gnu0.3)
- amd64, i386 (linux kernel)
Thanks. The current list is now:
case "$host" in
*-*-cygwin*) natdynlink=true;;
i[3456]86-*-linux*) natdynlink=true;;
x86_64-*-linux*) natdynlink=true;;
i[3456]86-*-darwin10.*)
if test $arch64 == true; then
natdynlink=true
fi;;
powerpc64-*-linux*) natdynlink=true;;
sparc-*-linux*) natdynlink=true;;
i686-*-kfreebsd*) natdynlink=true;;
x86_64-*-kfreebsd*) natdynlink=true;;
i386-*-gnu0.3) natdynlink=true;;
esac
> Maybe people on this list can
also report working natdynlink on other systems.
Indeed, this (or any comment on the list above) would be very useful.
Regards,
Alain
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
