將OCaml代碼與共享庫連接起來

我編譯了一個實現FFI作爲（.so）動態庫的Haskell源代碼包。我想調用OCaml中通過FFI導出的函數。爲此，我實現了一個簡單的驅動程序文件如下將OCaml代碼與共享庫連接起來

open Quelea.Shim 
open Ctypes 
open PosixTypes 
open Foreign 

let readEffects = 
    foreign "readEffects" (ptr char @-> ptr char @-> returning ptr string) 

let effects = readEffects "csasc" "saxasxas" 

print_list effects 

let rec print_list = function 
       [] ->() 
       | e::l -> print_int e ; print_string " " ; print_list l

凡readEffects是一個函數通過FFI出口具有以下簽名

foreign export ccall readEffects :: CString -> CString -> IO (Ptr CString)

我試圖編譯哈斯克爾源的Quelea.Shim模塊如上述（main.ml）文件如下

ocamlc -dllpath /home/parallels/.cabal/lib/Quelea-0.0.1/ghc-7.6.3 main.ml

目錄/home/parallels/.cabal/lib/Quelea-0.0.1/ghc-7.6.3包含庫文件libHSQuelea-0.0.1-ghc7.6.3.so。

我收到錯誤Error: Unbound module Quelea。如何正確鏈接庫和驅動程序文件？

來源

2016-11-27 Kapil

看來Quelea.Shim是Haskell的一個模塊。 OCaml與Haskell是不同的語言，因此無法理解Haskell模塊路徑。

我從來沒有嘗試過這樣的事情，但可能的情況是：

瞭解如何從普通的C程序加載哈斯克爾模塊和通話功能。
編寫一個小的C函數來加載你想要的Haskell模塊。可能它必須爲OCaml準備Haskell函數的入口點。
從OCaml致電加載程序

來源

2016-11-28 01:57:38 camlspotter

將OCaml代碼與共享庫連接起來

回答

相關問題