--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on July 2012 ---
Hi, I experimented a frama-c dynamic plugin with the following content in makefile: # Frama-c should be properly installed with "make install" # before any use of this makefile FRAMAC_SHARE :=$(shell frama-c.byte -print-path) FRAMAC_LIBDIR :=$(shell frama-c.byte -print-libpath) PLUGIN_DIR ?= . PLUGIN_NAME := MyPlugin PLUGIN_CMI := PLUGIN_CMO := register include $(FRAMAC_SHARE)/Makefile.dynamic It is okay in Ubuntu when I first make && make install frama-c, and then make && make install my plugin. I confirmed by the help message from frama-c -help. However, when I used the same code under Windows + MinGW and same make && make install process, my plugin is not enabled. Does anyone encounter such kind of issue or know hoe to fix it? Thanks in advance! Best regards, Haihao -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120723/d89904c8/attachment.html>