From eda46b388b0394357a788abd01256cc21001fc54 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 2 Mar 2020 16:49:18 +0100
Subject: [PATCH] [Makefile] New crowbar target for linking the whole kernel
More or less needed if you want to use dynamically loaded plug-ins, for which
dependency tracking becomes more complicated.
---
Makefile | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Makefile b/Makefile
index 42f3027d607..f9574481496 100644
--- a/Makefile
+++ b/Makefile
@@ -1438,6 +1438,10 @@ tests/crowbar/%: tests/crowbar/%.ml tests/crowbar/.%.depend .depend \
-deps tests/crowbar/.$*.depend -deps .depend) \
$<
+tests/crowbar/full-link-%: tests/crowbar/%.ml lib/fc/frama-c.cmxa
+ $(OCAMLOPT) $(OLINKFLAGS) -ccopt "-Llib/fc" -w -42 -package crowbar -o $@ \
+ lib/fc/frama-c.cmxa $<
+
crowbar-%: tests/crowbar/%
$<
--
GitLab