在OCaml中加载和使用共享库中的ctypes中的符号toploop

我试图使用来自OCaml的小型自包含Fortran库中的函数。我可以用gfortran -shared mvndst.f -o sharedlib编译库。调用nm sharedlib显示符号的列表，例如... T _mvndfn_。在OCaml中加载和使用共享库中的ctypes中的符号toploop

在阅读ctypes教程示例https://github.com/ocamllabs/ocaml-ctypes/wiki/ctypes-tutorial后，我试着做一些类似let mvndfn = foreign "mvndfn" (ptr double @-> returning float)的事情。该符号未找到。也许并不奇怪，因为我没有告诉它在哪里看 - 但我不知道如何。

这可以工作吗？如何告诉toploop寻找这个共享库？它是Fortran而不是C是否重要？如果程序在toploop中运行，我如何最终编译和链接程序？

（这是在OS X）

来源

2017-01-20 user3240588

Foreign.foreign有一个可选的参数?from是Dl.library类型的值（你可以看到它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"

来源

2017-01-20 15:27:39

的感谢！它看起来很明显，当你知道它... – user3240588

只需在顶级键入'Foreign.foreign ;;'，你就可以在函数的类型中找到可选参数:) –

在OCaml中加载和使用共享库中的ctypes中的符号toploop

回答

相关问题