1
我想知道如何在Ocaml中安装模块Mpqf。 因为当我尝试使用它时,我得到“错误:未绑定的模块Mpqf”。 我在Ubuntu上。Ocaml:我如何安装Mpqf模块?
谢谢你。 (对不起,我的英文...)
我想知道如何在Ocaml中安装模块Mpqf。 因为当我尝试使用它时,我得到“错误:未绑定的模块Mpqf”。 我在Ubuntu上。Ocaml:我如何安装Mpqf模块?
谢谢你。 (对不起,我的英文...)
如果您已经通过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
感谢您的回答:)!我已经安装了libapron-ocaml-dev软件包。我刚刚检查过,mpqf.cmi,mpqf.cmx和mpqf.mli位于正确的文件夹(/ usr/lib/ocaml/apron /)中。但是当我试图编译“ocamlbuild exemple.byte”我得到“错误:未绑定的模块Mpqf”。那么我应该如何编译它? –
如果您包含用于尝试编译的命令,这会很有帮助。这可以在简单的情况下工作,'ocamlopt -I(path-to-mpfq)mpfg.cmx test.ml -o test'。 – nlucaroni
谢谢!!!!! –