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 _______________________________________________ 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
