2回答
我的OCaml程序使用OCaml标准库中的一些函数，这些函数是在版本4.01.0中才引入的。我如何安排当我的用户编译我的代码时，如果OCaml编译器的版本不是4.01.0或更高，编译器就会发出错误？我觉得这个错误比一般的“非绑定变量”错误更有帮助。
我看到ocaml -vnum发出"4.01.0“，所
浏览 7提问于2017-01-24得票数 1
2回答
我有一个makefile来安装和编译ocaml项目。我需要安装ocaml 4.07才能使用这个版本的一些特定功能。在安装opam之后，我下载了特定的版本，但是为了用这个版本编译项目，我从终端得到了一条消息： The environment is not in sync with the current switchYou should run: eval $(opam env) 我
浏览 29提问于2019-05-10得票数 0
回答已采纳
好的，我用Ocamlyacc做了一个词法分析器和一个解析器。我已经做了我的研究，我想这是因为我的makefile没有为我的编译器选择正确的位版本，或者类似的东西？我对makefile了解不多，这就是为什么我会问这个问题。这是一个64位的MacBook专业版。我使用的是Xcode
浏览 2提问于2012-02-14得票数 11
我需要一个特定的统一版本，与一个特定的OCaml版本一起使用UbuntuServer20.04LTS上的unison包。我需要使用OCaml版本4.08.1构建Unison2.48.4。AUR中的包似乎是用另一个OCaml版本构建的，不能在我的情况下使用。
在</em
浏览 5提问于2022-06-03得票数 1
1回答
我试图按照在Ubuntu14.04中的ropc / bap / 中给出的说明来安装ropc所需的bap。我已经成功地运行了这些命令。sudo apt-get install ocaml ocaml-native-compilers ocaml-findlib camlidl \
libocamlgraph-ocaml-dev libextlib-ocaml-devbinutils-dev auto
浏览 4提问于2016-03-01得票数 0
我在UniMath目录的顶层运行make，并不断返回错误。我正在开发fedora 35，我使用的是Ocaml版本4.11.2。为了转换这一点，我确保我有Ocaml版本4.11.2。我只是在Ocaml的网站()上遵循了这些步骤。有一个脚本促使我修改~/..bash_profile。我同意了。当它促使我加入一个钩子时，我也答应了。我还通过命令dnf安装ocaml，因为这是以后版本</e
浏览 5提问于2022-01-24得票数 2
2回答
我有一个用Makefile.am编译Ocaml源代码的ocamlbuild。但是，即使我有在我的configure.ac中，automake认为安装exectuables必须有一个C编译器也就是说，如果我在Makefile.am下添加了一个要用ocamlbuild构建的目标可执行文件，那么autoreconf (版本1.11.3
浏览 3提问于2012-03-11得票数 9
回答已采纳
我试图按照here的描述安装tcoq和gamepad，但出现了以下错误： makeOCAMLC -c -pp grammar/gramCompat.mlp
>> Fatal error: OCaml andexception Misc.Fa
浏览 17提问于2018-12-28得票数 0
回答已采纳
我从OCaml安装了 4.01.0。我现在正在试着制造凸轮5-6.11。当我在cygwin中运行./ocaml_stuff/4.01.0/utils -I ../config/Makefile:20: recipe for target 'camlp5_top.cmo' failed
make[2]: *** [camlp5_top.cmo] Error 2make[2]: Leaving directory '/c
浏览 2提问于2013-11-06得票数 0
回答已采纳
我试图使用OCaml在MinGW上构建LLVM CMake绑定。我对绑定目录中的LLVMBuild.txt做了一些调整，但没有成功。我该如何建造它们？然后，我将许多目录中的LLVMBuild.txt文件与CMake构建系统连接起来。llvm/bindings/LLVMBuild.txt没有包含任何构建子目录的指令，所以我添加了它们：subdirectories = ocaml
llvm/bindings
浏览 0提问于2012-03-05得票数 1
2回答
在运行AIX6.1的服务器上编译Ocaml时，遇到以下错误："../Makefile.shared", line 40: make: 1254-055 Dependency line needs colon or double colon operator.
&qu
浏览 0提问于2011-07-28得票数 1
我已经通过opam将eliom更新到最新版本(5.0.0)，但更新失败。我用4.02.1和4.02.3编译器都试过了，但它不能编译基本的eliom：Fatal error: exception Fl_package_base.No_s
浏览 6提问于2016-02-05得票数 1
1回答
在我的OS框中，brew install unison给了我2.51.2版本。但是，我需要与运行CentOS 6.10的系统同步，对于该系统，似乎没有2.51.2二进制文件。我也不能从那台机器上的源代码编译，因为它没有正确的工具，我不是根。
为了解决这个问题，我想从我所在的Ubuntu机器上的源代码编译。但这必须是在CentOS机器上运行的静态编译。我如何才能使一个静态的<
浏览 1提问于2018-11-30得票数 1
我正在将ppx扩展重新编写器作为代码库的一部分。
理想情况下，库可以用于某些OCaml版本。我注意到，在构建要从重写器输出的AST节点时，不可避免地需要构造一些记录，这些记录的结构特定于特定的OCaml AST版本。我希望大多数ppxlib Ast_builder助手能够为我正在编译库的任何OCaml版本生成正确的</e
浏览 1提问于2022-09-26得票数 5
回答已采纳
2回答
我需要构建一个OCaml交叉编译器。遗憾的是，这似乎是不受支持的，而且需要做一些工作，是的旧版本。我的第一个问题是:生成文件config/m.h、config/s.h和config/Makefile的好方法是什么？
浏览 2提问于2012-10-04得票数 3
回答已采纳
2回答
我正在编写一些将OCaml和C混合在一起的代码，函数caml_release_runtime_system()和caml_acquire_runtime_system()是在OCaml 3.12中引入的(它们在早期版本中被称为其他东西)，但是如果可能的话，我希望能够兼容到3.10，我可以为此使用一个#ifdef吗？我已经看过头(在我的Debian系统上的/usr/lib/
浏览 4提问于2011-05-16得票数 4
回答已采纳
2回答
首先，我使用下面的makefile编译(我不知道它是否重要，但因为我用它编译.)：
main.ml
let yolo lol = ;;Main.yolo "lol&quo
浏览 2提问于2017-05-16得票数 0
回答已采纳
0回答
我尝试在OCaml项目中使用libsvm：open Libsvmocamlfind: Error frompackage `threads': Missing -thread or -vmthread switchocamlfind ocamlopt -o prog -linkpkgInstalled packages for system:
base-
浏览 2提问于2017-01-05得票数 0
回答已采纳
我正在尝试在cygwin中安装frama-c，并得到以下错误，但我无法解释它们。你能帮我解释它们吗，或者给我一个链接，让我从哪里获得这些信息？Preparing Wp-Coq SourcesMakefile:49: recipe for target`depend' failedsrc/wp/Makefile:285:
浏览 1提问于2013-06-05得票数 0
现在，我的ubuntu20.04停靠容器中的OCaml编译器的版本是4.08.1，但是我需要OCaml 3.12.1来构建一个项目。因此，我尝试了opam switch create 3.12.1并得到了这样一个错误：
编译ocaml编译器在“/root/.opam/opam/hooks/sandbox.sh build ./ -prefix但是，我已经使用
浏览 8提问于2022-08-31得票数 0
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
