FRAMAC_SHARE           := $(shell frama-c.byte -print-path)
FRAMAC_LIBDIR          := $(shell frama-c.byte -print-libpath)
PLUGIN_NAME            = Test_boris
PLUGIN_CMO             =  cautomata c2cautomatanalys simple_debug_visitor visitor_boris
include $(FRAMAC_SHARE)/Makefile.dynamic
