dist/tools/doxygen: use dlcache for Doxygen download

crasbe · crasbe · commit 8446315bc04f · 2025-11-13T14:00:10.000+01:00
diff --git a/dist/tools/doxygen/Makefile b/dist/tools/doxygen/Makefile
@@ -14,6 +14,9 @@
 PKG_NAME=doxygen
 PKG_LICENSE=GPL-2.0
 
+RIOTTOOLS=$(CURDIR)/..
+DLCACHE=$(RIOTTOOLS)/dlcache/dlcache.sh
+
 # optionally add the "clean" target to delete the binary and force a rebuild
 REBUILD=
 
@@ -77,7 +80,7 @@ $(CURDIR)/doxygen: $(REBUILD)
 
 download_binary: distclean
 	@echo "[INFO] Downloading Doxygen binary..."
-	@wget -q -O $(CURDIR)/$(BIN_PKG_TAR) $(BIN_PKG_DOWNLOAD_URL) || \
+	@$(DLCACHE) $(CURDIR)/$(BIN_PKG_TAR) $(BIN_PKG_DOWNLOAD_URL) $(PKG_SHA512) || \
 	  { echo "[ERROR] Failed to download binary"; exit 1; }
 	@echo "[INFO] Unpacking Doxygen..."
 	@tar -xf $(CURDIR)/$(BIN_PKG_TAR)
diff --git a/doc/doxygen/Makefile b/doc/doxygen/Makefile
@@ -24,7 +24,11 @@ endif
 # Check that the doxygen version is not too old to avoid
 # certain bugs that were fixed in later revisions. Especially
 # Debian-based distributions tend to have very old versions.
+# When updating the version, make sure to update the SHA512 checksum
+# of the doxygen-x.xx.x.linux.bin.tar.gz archive accordingly to avoid cache
+# misses.
 DOXYGEN_MIN_VERSION = 1.15.0
+DOXYGEN_TGZ_SHA512 = 0e99fb9a65f9fada2fe90ea0d1f940b8e58d62801f880614b440b9f3a9f82a5c1a8dd1d0719ee6a46f9612ea7447655d5c8494f63463fe7f1222987bdb1485a9
 
 # Set the Doxygen binary if not already set
 DOXYGEN ?= doxygen
@@ -69,7 +73,7 @@ graphviz-check:
 
 .PHONY: doc-ci
 doc-ci: $(RIOTTOOLS)/doxygen/Makefile
-	@PKG_VERSION=$(DOXYGEN_VERSION) $(MAKE) -C $(RIOTTOOLS)/doxygen all --no-print-directory
+	@PKG_VERSION=$(DOXYGEN_VERSION) PKG_SHA512=$(DOXYGEN_TGZ_SHA512) $(MAKE) -C $(RIOTTOOLS)/doxygen all --no-print-directory
 	@$(MAKE) -BC $(CURDIR) DOXYGEN=$(RIOTTOOLS)/doxygen/doxygen doc
 
 # by marking html as phony we force make to re-run Doxygen even if the directory exists.
