From 2a770618656a7da258d777a2e18d1280d3acbb7f Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 27 Jul 2020 17:18:45 +0200
Subject: [PATCH] [eacsl] Add a dependency to RTE

---
 src/plugins/e-acsl/Makefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index f0822e881e7..e7380d160ca 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -106,6 +106,7 @@ PLUGIN_CMO:= src/local_config \
 
 PLUGIN_HAS_MLI:=yes
 PLUGIN_DISTRIBUTED:=yes
+PLUGIN_DEPENDENCIES:= RteGen
 
 # We "save" this variable so that it can be used once PLUGIN_DIR has been reset
 EACSL_PLUGIN_DIR:=$(PLUGIN_DIR)
-- 
GitLab