共有ライブラリのシンボルをOCamlのtoploopにctypesでロードして使用する

Question

OCamlの小さな自己完結型Fortranライブラリの関数を使用しようとしています。私はgfortran -shared mvndst.f -o sharedlibでライブラリをコンパイルできます。 nm sharedlibを呼び出すと、シンボルのリストが表示されます。 ... T _mvndfn_。

ctypesチュートリアルの例https://github.com/ocamllabs/ocaml-ctypes/wiki/ctypes-tutorialを読んだ後、私はlet mvndfn = foreign "mvndfn" (ptr double @-> returning float)のようなことをしようとしました。シンボルが見つかりませんでした。私はそれをどこに見ても言いませんでしたので、驚くことではないかもしれませんが、私はどのように知りません。

これはまったく動作しますか？どのように私はtoploopにこの共有ライブラリを探すように指示しますか？それはFortranではないことが重要ですか？プログラムがtoploopで動作する場合、どのようにしてプログラムをコンパイルしてリンクするのですか？

（これは、OS X上で）

Answer 1

Foreign.foreignタイプDl.libraryの値であるオプションの引数?fromを（あなたがそれをin the docs見ることができます）かかります。 Dl.dlopen（動的ロードは複雑なトピックですが、しばしば[RTLD_LAZY]が必要です）のいずれかを取得できます。ここで

はlibpngを使った例です：

# let libpng = Dl.dlopen ~flags:[Dl.RTLD_LAZY] ~filename:"/usr/lib/x86_64-linux-gnu/libpng16.so.16";; 
val libpng : Dl.library = <abstr> 
# open Foreign;; 
# open Ctypes_static;; 
# let f = foreign ~from:libpng "png_get_libpng_ver" (ptr void @-> returning (ptr char));; 
val f : unit Ctypes_static.ptr -> char Ctypes_static.ptr = <fun> 
# let p = f Ctypes.null;; 
val p : char Ctypes_static.ptr = (char*) 0x7f9d5220e64e 
# Ctypes.string_from_ptr ~length:6 p;; 
- : string = "1.6.26"