star-build

commit fe9e392cdd465b481eca44767f4ce5de7af2ea9b
parent 531b977d2cd2a6474c49f54a48d71d90fec301d0
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Thu,  1 Oct 2026 14:12:21 +0200

noweb: solve a compilation problem

On some systems, the noweb Makefile was detected as obsolete, which led
to its re-extraction from noweb sources. However, this extraction fails
because it requires the notangle utility which is still not available
since it is part of the noweb utilities to deploy.

Hence this commit that comes to correct the noweb Makefile to avoid this
extraction. To do this, its "Makefile" target is removed. This target,
apparently recognized at least by GNU make, forces the execution of the
associated command as a priority as long as its prerequisites require
it.

Diffstat:
M
src/app-text/noweb.mk.in
 | 
7
++++++-

1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/app-text/noweb.mk.in b/src/app-text/noweb.mk.in
@@ -33,13 +33,18 @@ noweb: build_noweb
 	cd -- "$(NOWEB_DIR)/src" &&\
 	$(NOWEB_MAKE) install
 
-build_noweb: $(NOWEB_DIR) prefix
+build_noweb: $(NOWEB_DIR) prefix patch_noweb
 	@prefix=$$(cat .prefix) &&\
 	cd -- "$(NOWEB_DIR)/src" &&\
 	./awkname awk &&\
 	$(NOWEB_MAKE) boot &&\
 	$(NOWEB_MAKE) all
 
+patch_noweb: $(NOWEB_DIR)
+	@prefix=$$(cat .prefix) &&\
+	cd -- "$(NOWEB_DIR)/src" &&\
+	( rm Makefile && sed -n '/^Makefile:/{:a;n;/^\t/ba;};p' > Makefile ) < Makefile
+
 $(NOWEB_DIR):
 	@git clone --branch "$(NOWEB_TAG)" --depth 1 "$(NOWEB_URL)" "$@"