[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2010-05-31 (10:04) |
From: | Alain Frisch <alain@f...> |
Subject: | Re: [Caml-list] Architectures with natdynlink support... |
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