--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on July 2012 ---
Hello, On 07/23/2012 04:30 PM, haihao shen wrote: > 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 Looks ok. > 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? I'm not aware of specific issues about dynamic plug-in installation under Windows+MinGw. What is the result of the following commands after installing your plug-in? $ frama-c.byte -print-plugin-path $ ls `frama-c.byte -print-plugin-path ` $ frama-c.byte -help -- Julien