CODEWITHSUNDEEP
makefileocamlframa-cocamlfind
francisco manuel romero romero
francisco manuel romero romero

Reputation: 1

import core.std to plugin of frama-c

I have other problem, I have tried change Makefile for include Core.Std, I would like to use it, for the module List.

This is my 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

When I use "make" this is error:

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

In Real Open World Ocaml, it used: ocamlfind ocamlc -linkpkg -thread -package core

How can I simulate it in frama-c?

Upvotes: 0

Views: 81

Answers (0)

Related Questions