Merge branch 'bugfix/basile/eacsl-dep-rte' into 'master'

[eacsl] Add a dependency to RTE See merge request frama-c/frama-c!2773

Merge branch 'bugfix/basile/eacsl-dep-rte' into 'master'
[eacsl] Add a dependency to RTE See merge request frama-c/frama-c!2773
05d368b5 · Julien Signoles · e62d4444 · 2a770618 · 05d368b5
Commit 05d368b5 authored Jul 28, 2020 by Julien Signoles
--- 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)