python-tools.sh, py-mod.mk: Use --symbol-filter #13

Merged

Jan Lindemann merged 1 commit from jan/feature/20260612-python-tools-sh-py-mod-mk-use-symbol-filter into master 2026-06-12 07:39:54 +02:00 AGit

Conversation 0 Commits 1 Files changed 2 +41 -10

Jan Lindemann commented 2026-06-12 07:20:09 +02:00

Owner

Copy link

python-tools.sh, py-mod.mk: Use --symbol-filter

Letting python-tools.sh rewrite symbols is more robust than rewriting an entire init.py with PY_INIT_FILTER in the including Makefile. The latter can break in non-obvious ways if python-tools.sh changes init.py's format.

Make python-tools.sh support --symbol-filter to remedy that. The option takes an sed script which should expect a string of two non-whitespace tokens: The module from which the symbol is imported, and the name of the symbol in that module. It's output will then be used as the symbol to be exported from init.py.

Also, support the PY_SYMBOL_FILTER variable in py-mod.mk. If it's defined, it is used for --symbol-filter.

#### python-tools.sh, py-mod.mk: Use --symbol-filter Letting python-tools.sh rewrite symbols is more robust than rewriting an entire __init__.py with PY_INIT_FILTER in the including Makefile. The latter can break in non-obvious ways if python-tools.sh changes __init__.py's format. Make python-tools.sh support --symbol-filter to remedy that. The option takes an sed script which should expect a string of two non-whitespace tokens: The module from which the symbol is imported, and the name of the symbol in that module. It's output will then be used as the symbol to be exported from __init__.py. Also, support the PY_SYMBOL_FILTER variable in py-mod.mk. If it's defined, it is used for --symbol-filter.

Jan Lindemann added 1 commit 2026-06-12 07:20:09 +02:00

python-tools.sh, py-mod.mk: Use --symbol-filter ... 80248dec88

Letting python-tools.sh rewrite symbols is more robust than rewriting an entire __init__.py with PY_INIT_FILTER in the including Makefile. The latter can break in non-obvious ways if python-tools.sh changes __init__.py's format.
Make python-tools.sh support --symbol-filter to remedy that. The option takes an sed script which should expect a string of two non-whitespace tokens: The module from which the symbol is imported, and the name of the symbol in that module. It's output will then be used as the symbol to be exported from __init__.py.
Also, support the PY_SYMBOL_FILTER variable in py-mod.mk. If it's defined, it is used for --symbol-filter.
Signed-off-by: Jan Lindemann <jan@janware.com>

Jan Lindemann scheduled this pull request to auto merge when all checks succeed 2026-06-12 07:20:10 +02:00

Jan Lindemann force-pushed jan/feature/20260612-python-tools-sh-py-mod-mk-use-symbol-filter from 80248dec88 to 9039dc7e40 2026-06-12 07:33:18 +02:00 Compare

Jan Lindemann merged commit 9039dc7e40 into master 2026-06-12 07:39:54 +02:00

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

janware/jw-pkg!13

No description provided.