Makefile 将core.std导入frama-c插件

我还有其他问题，我已经尝试更改include Core.Std的Makefile，我想使用它，用于模块列表

这是我的MakeFile

FRAMAC_SHARE :=$(shell frama-c-config -print-share-path)
FRAMAC_LIBDIR :=$(shell frama-c-config -print-libpath)
PLUGIN_ENABLE:=$(ENABLE_DTN_ANNOTATION)
PLUGIN_NAME:=Dtn
PLUGIN_DIR:=./
PLUGIN_CMO:= deps_neo
PLUGIN_REQUIRES = core
include $(FRAMAC_SHARE)/Makefile.dynamic

当我使用“make”时，这是一个错误：

ocamlfind: Error from package `threads': Missing -thread or -vmthread switch

在真实的开放世界Ocaml中，它使用了： ocamlfind ocamlc-linkpkg-thread-package-core

---

如何在frama-c中模拟它？

一件可能有用的事情是在运行frama-c的Makefile时添加

VERBOSEMAKE=y

（例如

make VERBOSEMAKE=y

）。它应该输出一些关于正在执行的命令的信息。然后，您可以尝试通过反向工程找到添加必要标志的位置。但是，Frama-C的Makefile非常复杂，所以这不一定容易。作为提示，您可以使用core_内核，这不需要线程。谢谢，有了core_内核，我就有了我想要的模块。