2013-06-20 52 views

回答

1

如果您已經通過Ubuntu軟件包管理器安裝OCaml,則該模塊位於libapron-ocaml-dev包中。

[email protected]:~$ apt-file list libapron-ocaml-dev | grep mpqf 
libapron-ocaml-dev: /usr/lib/ocaml/apron/mpqf.cmi 
libapron-ocaml-dev: /usr/lib/ocaml/apron/mpqf.cmx 
libapron-ocaml-dev: /usr/lib/ocaml/apron/mpqf.mli 
+0

感謝您的回答:)!我已經安裝了libapron-ocaml-dev軟件包。我剛剛檢查過,mpqf.cmi,mpqf.cmx和mpqf.mli位於正確的文件夾(/ usr/lib/ocaml/apron /)中。但是當我試圖編譯「ocamlbuild exemple.byte」我得到「錯誤:未綁定的模塊Mpqf」。那麼我應該如何編譯它? –

+0

如果您包含用於嘗試編譯的命令,這會很有幫助。這可以在簡單的情況下工作,'ocamlopt -I(path-to-mpfq)mpfg.cmx test.ml -o test'。 – nlucaroni

+0

謝謝!!!!! –