Architectures with natdynlink support...

Architectures with natdynlink support...

[Stéphane Glondu]

Hello,

This is a follow-up on PR#5049 [1], but the bug has been closed and it
seems no longer possible to comment on it now (and reopening doesn't
seem relevant).

[1] http://caml.inria.fr/mantis/view.php?id=5049

Alain Frisch wrote:
> The list of platforms where natdynlink is supported is given in
> the configure script. Currently, the list is quite
> conservative, but it should be extended with feedback from
> users who can test natdynlink on other platforms:

Is there a practical test to be sure whether natdynlink works or not?
What kind of "feedback" do you expect?

>   case "$host" in
>     *-*-cygwin*) natdynlink=true;;
>     i[3456]86-*-linux*) natdynlink=true;;
>     x86_64-*-linux*) natdynlink=true;;
>   esac 

That seems overly restrictive. 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)

[2] https://buildd.debian.org/status/package.php?p=ssreflect

If I understand correctly Xavier's explanation in [1], it should work on
any x86-GNU-based system where shared libraries are supported (and not
only Linux!). Natdynlink working on sparc and powerpc seems to be a
surprise, but not the other ones AFAIU. Maybe people on this list can
also report working natdynlink on other systems.

Maybe adding a ./configure option would be more flexible?


Best regards,

-- 
Stéphane

Re: [Caml-list] Architectures with natdynlink support...

[rixed]

> Maybe adding a ./configure option would be more flexible?

I'm for it, or just add MIPS on the list of supported targets.

Re: [Caml-list] Architectures with natdynlink support...

[Alain Frisch]

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