From b398ac61ef4fb2b029ce744b4e9f9d7c245f04b6 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 3 Dec 2021 17:53:46 +0100
Subject: [PATCH] [Makefile] better dependencies for dev guide checks
- making the dev guide (and especially its checks over the tutorial code)
should be done against up-to-date frama-c binaries.
- `Boot` module is referenced in the index of devman, it ought to be
present in the API documentation
---
Makefile | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 8e1fd43895e..6938c2e48d5 100644
--- a/Makefile
+++ b/Makefile
@@ -1241,7 +1241,9 @@ FILES_FOR_OCAMLDEP+= $(addsuffix /*.mli,$(FRAMAC_SRC_DIRS)) \
MODULES_TODOC+=$(filter-out $(MODULES_NODOC),\
$(MLI_ONLY) \
- $(filter-out $(PLUGIN_TYPES_CMO_LIST:.cmo=.mli),$(CMO:.cmo=.mli)))
+ $(filter-out $(PLUGIN_TYPES_CMO_LIST:.cmo=.mli),$(CMO:.cmo=.mli)) \
+ $(STARTUP_CMO:.cmo=.mli) \
+)
################################
# toplevel.{byte,opt} binaries #
@@ -1713,7 +1715,7 @@ $(CHECK_API_DIR)/check_code.cmxs: $(CHECK_API_DIR)/check_code.ml
CHECK_CODE=$(CHECK_API_DIR)/check_code.cmxs
.PHONY: check-devguide devguide
-devguide:
+devguide: byte $(OCAMLBEST)
$(MAKE) FRAMAC_INTERNAL=no -C $(DOC_DEV_DIR)
check-devguide: $(CHECK_CODE) $(DOC_DEPEND) $(DOC_DIR)/kernel-doc.ocamldoc devguide
--
GitLab