我还有其他问题，我尝试将 Makefile 更改为包含 Core.Std，我想将它用于模块列表。
这是我的 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
在 Real Open World Ocaml 中，它使用： ocamlfind ocamlc -linkpkg -thread -package core
如何在frama-c中模拟它？