make: Miscellaneous minor fixes and improvements #58
Loading…
Reference in a new issue
No description provided.
Delete branch "jan/feature/20260811-make-miscellaneous-minor-fixes-and-improvements"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This PR brings a couple of minor fixes and improvements to the makefile snippets in $(TOPDIR)/make.
defs.mk: Disable BUILD_PKG_CONFIG
BUILD_PKG_CONFIG installs files across project directories into $(JWBDIR) because of this:
BUILD_PKG_CONFIGDIR = $(JWBDIR)/pkgconfig
The concept is currently not used by any downstream project anymore, hence it lacks sufficient testing at this point. Moreover, it breaks building repos which are sandboxed to their own root directory, because it tries to install the generated .pc file back into $(JWBDIR). The concept itself isn't entirely off, so leave the code in, disabled, with a comment.
platform.mk: Remove --topdir-format from JW_PKG_PY
Some uses of $(JW_PKG_PY) need to ensure their own topdir format, which results in two options on jw-pkg.py's command line, with the second overwriting the first. This works but is a minor uglyness. Since the default built into jw-pkg works for all other cases, remove --topdir-format from the JW_PKG_PY variable.
py-check.mk: Run isort with "make format"
If /usr/bin/isort is found, run it during "make format" to get a defined way the imports are sorted. tool.isort in pyproject.toml is updated to match the other fixers.
Commit the fallout of this change. Running the other fixers alone doesn't change the formatting, so this should be safe.
projects-dir.mk: Add diff-projects target
The diff-all and diff targets diff all projects in the workspace without filtering.
Add a target "diff-projects". It sets PGIT_SH_PROJECTS to the list of projects from build-order, limiting the diff to the dependency closure around $(PROJECTS).
$(TOPDIR)/make/*.mk: Miscellaneous minor fixes and improvementsto make: Miscellaneous minor fixes and improvements