diff --git a/Makefile b/Makefile
index 42f3027d607538976c4081b72d9599c8990c398b..f957448149622595ff8b6905e187323dc27f3399 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/%
 	$<