错误:未绑定的模块...在Ocaml中

问题描述

我刚安装了一个名为Apron的库，安装似乎已完成:

I have just installed a library called Apron, the installation seems to be done:

@ubuntu$ find -name "*apron*"
./lib/libapron_debug.so
./lib/libapron.a
./lib/libapron.so
./lib/libapron_debug.a
./local/lib/ocaml/3.11.2/stublibs/dllapron_caml.so.owner
./local/lib/ocaml/3.11.2/stublibs/dllapron_caml.so
./local/lib/ocaml/3.11.2/apron
./local/lib/ocaml/3.11.2/apron/libapron_caml_debug.a
./local/lib/ocaml/3.11.2/apron/apron.cmxa
./local/lib/ocaml/3.11.2/apron/libapron_caml.a
./local/lib/ocaml/3.11.2/apron/apron.cmi
./local/lib/ocaml/3.11.2/apron/apron.cmx
./local/lib/ocaml/3.11.2/apron/apron.a
./local/lib/ocaml/3.11.2/apron/apron.cma

我尝试了第一个示例:

(* with default setting:

apronppltop -I $MLGMPIDL_INSTALL/lib -I $APRON_INSTALL/lib

#load "gmp.cma";;
#load "apron.cma";;
#load "box.cma";;
#load "oct.cma";;
#load "polka.cma";;
#load "ppl.cma";;
#load "polkaGrid.cma";;

#install_printer Apron.Linexpr1.print;;
#install_printer Apron.Texpr1.print;;
#install_printer Apron.Lincons1.print;;
#install_printer Apron.Generator1.print;;
#install_printer Apron.Abstract1.print;;

let environment_print fmt x = Apron.Environment.print fmt x;;
let lincons1_array_print fmt x = Apron.Lincons1.array_print fmt x;;
let generator1_array_print fmt x = Apron.Generator1.array_print fmt x;;

#install_printer Apron.Var.print;;
#install_printer environment_print;;
#install_printer lincons1_array_print;;
#install_printer generator1_array_print;; *)
open Apron;;
...

但是ocaml -c file.ml给了我Error: Unbound module Apron，发生在open Apron;;

有人知道为什么我无法加载围裙模块吗?非常感谢你！

Does anyone know why I could not load the Apron module? Thank you very much!

推荐答案

我应使用'-I'选项指示围裙库的路径.由于它已安装在OCaml的标准库中，因此您只需使用以下代码进行编译:

I should indicate the path of the Apron library with '-I' options. As it is installed in the standard library of OCaml, you only need to compile with:

这篇关于错误:未绑定的模块...在Ocaml中的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！