2013-06-20 55 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

谢谢!!!!! –