commit aaf6fa659d150215e0d26ff0620422e68dfea2e8 parent b1d364a54260a75a4590f24e50f5dd449389a22c Author: Vincent Forest <vincent.forest@meso-star.com> Date: Tue, 23 May 2023 21:47:01 +0200 Change the name of the Makefile to be executed It no longer has the generic name "build.mk". It now has the name of the build script used to generate it, suffixed with the "mk" extension. This commit anticipates the time when several build scripts will be available: it will then be necessary to be able to generate and execute several Makefiles. Diffstat:
| M | .gitignore | | | 1 | + |
| M | Makefile | | | 24 | +++++++++++++----------- |
2 files changed, 14 insertions(+), 11 deletions(-)
diff --git a/.gitignore b/.gitignore @@ -7,3 +7,4 @@ build.mk local */ +sgs.mk diff --git a/Makefile b/Makefile @@ -18,21 +18,23 @@ include config.mk -install: build.mk - @$(MAKE) -f build.mk -f Makefile install_all +MK = $(BUILD:.sh=.mk) -clean: build.mk - @$(MAKE) -f build.mk -f Makefile clean_all - rm -rf .prefix build.mk +install: $(MK) + @$(MAKE) -f $(MK) -f Makefile install_all -distclean: build.mk - @$(MAKE) -f build.mk -f Makefile distclean_all - rm -rf .prefix build.mk +clean: $(MK) + @$(MAKE) -f $(MK) -f Makefile clean_all + rm -rf .prefix $(MK) -uninstall: build.mk - @$(MAKE) -f build.mk -f Makefile uninstall_all +distclean: $(MK) + @$(MAKE) -f $(MK) -f Makefile distclean_all + rm -rf .prefix $(MK) -build.mk: $(BUILD) build.sh spkg.mk.in git.mk.in +uninstall: $(MK) + @$(MAKE) -f $(MK) -f Makefile uninstall_all + +$(MK): $(BUILD) build.sh build.profile.in spkg.mk.in git.mk.in noweb.mk @$(SHELL) $(BUILD) > $@ prefix: