--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on July 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Dynamic Plugin Enabled in Linux but Failed in Windows



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>