diff --git a/doc/developer/tutorial/viewcfg/src/Makefile.split b/doc/developer/tutorial/viewcfg/src/Makefile.split
index ee56b8cad49061542f416bac73f901bb8ce4c325..3d0922804d614f9c43366c029efe16a5f36a1ba9 100644
--- a/doc/developer/tutorial/viewcfg/src/Makefile.split
+++ b/doc/developer/tutorial/viewcfg/src/Makefile.split
@@ -1,5 +1,6 @@
 FRAMAC_SHARE := $(shell frama-c-config -print-share-path)
-PLUGIN_NAME = ViewCfg
-PLUGIN_CMO =  cfg_options cfg_core cfg_register
-PLUGIN_GUI_CMO =  cfg_gui
+PLUGIN_NAME:= ViewCfg
+PLUGIN_CMO:=  cfg_options cfg_core cfg_register
+PLUGIN_GUI_CMO:=  cfg_gui
+PLUGIN_DEPENDENCIES:=eva
 include $(FRAMAC_SHARE)/Makefile.dynamic