Skip to content
Snippets Groups Projects
Commit 03afdf21 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[dev-tuto] Fix Makefile for viewcfg

parent 03ea9563
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/developer/tutorial/viewcfg/src/Makefile.split
+ 4
− 3
View file @ 03afdf21
FRAMAC_SHARE := $(shell frama-c-config -print-share-path) FRAMAC_SHARE := $(shell frama-c-config -print-share-path)
PLUGIN_NAME = ViewCfg PLUGIN_NAME:= ViewCfg
PLUGIN_CMO = cfg_options cfg_core cfg_register PLUGIN_CMO:= cfg_options cfg_core cfg_register
PLUGIN_GUI_CMO = cfg_gui PLUGIN_GUI_CMO:= cfg_gui
PLUGIN_DEPENDENCIES:=eva
include $(FRAMAC_SHARE)/Makefile.dynamic include $(FRAMAC_SHARE)/Makefile.dynamic
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment