From 03afdf21ab2c2497c22d679e743aad1da1ae0118 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 1 Jun 2022 10:34:17 +0200
Subject: [PATCH] [dev-tuto] Fix Makefile for viewcfg

---
 doc/developer/tutorial/viewcfg/src/Makefile.split | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/developer/tutorial/viewcfg/src/Makefile.split b/doc/developer/tutorial/viewcfg/src/Makefile.split
index ee56b8cad49..3d0922804d6 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
-- 
GitLab