我有其他问题，我已经尝试将Makefile更改为包含Core.Std，我想使用它，用于模块List。
这是我的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中模拟它？