1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
From: Mehdi Dogguy <mehdi@debian.org>
Date: Wed, 21 Dec 2016 14:11:25 +0100
Subject: Value.cmo needs LoopAnalysis.cmo
Forwarded: https://bts.frama-c.com/view.php?id=2326
Value plugin needs LoopAnalysis, but appears first during the linking
phase. In order to workaround that, we move it before Value.cmo in the
PLUGIN_CMO_LIST variable.
---
Makefile | 4 ++++
1 file changed, 4 insertions(+)
Index: frama-c/Makefile
===================================================================
--- frama-c.orig/Makefile 2022-03-20 01:33:54.427739729 +0100
+++ frama-c/Makefile 2022-03-20 01:33:54.423739704 +0100
@@ -1203,6 +1203,10 @@
CMX = $(CMO:.cmo=.cmx)
CMI = $(CMO:.cmo=.cmi)
+PLUGIN_CMO_LIST:=$(subst $(FRAMAC_PLUGIN)/top/Value.cmo,\
+ $(FRAMAC_PLUGIN)/top/LoopAnalysis.cmo $(FRAMAC_PLUGIN)/top/Value.cmo,\
+ $(filter-out $(FRAMAC_PLUGIN)/top/LoopAnalysis.cmo, $(PLUGIN_CMO_LIST)))
+
ALL_CMO = $(CMO) $(PLUGIN_CMO_LIST) $(STARTUP_CMO)
ALL_CMX = $(CMX) $(PLUGIN_CMX_LIST) $(STARTUP_CMX)
|
