how to set optimization level for a required frozen module

[Josverl]

I'm trying to apply optimization level 3 to the typing module in my MicroPython project using a manifest file, but I'm not observing any reduction in size with or without the opt=3.

Here's my manifest file:

include("$(PORT_DIR)/variants/manifest.py")
include("$(MPY_DIR)/extmod/asyncio")

# typing related modules
require("typing", opt=3)
# 3-4 similar modules 

I have added some logging to makemanifest.py:194
print("MPY", result.target_path, f"{result.opt=} {args.mpy_cross_flags=}")

and I do not see the opt level appearing for the typing module.
Note that opt=3 is used for asyncio and mip

....
MPY argparse.py
MPY argparse.py result.opt=None args.mpy_cross_flags=''
MPY requests/__init__.py
MPY requests/__init__.py result.opt=None args.mpy_cross_flags=''
MPY mip/__init__.py
MPY mip/__init__.py result.opt=3 args.mpy_cross_flags=''
MPY mip/__main__.py
MPY mip/__main__.py result.opt=None args.mpy_cross_flags=''
MPY ssl.py
MPY ssl.py result.opt=3 args.mpy_cross_flags=''
MPY asyncio/__init__.py
MPY asyncio/__init__.py result.opt=3 args.mpy_cross_flags=''
MPY asyncio/core.py
MPY asyncio/core.py result.opt=3 args.mpy_cross_flags=''
MPY asyncio/event.py
MPY asyncio/event.py result.opt=3 args.mpy_cross_flags=''
MPY asyncio/funcs.py
MPY asyncio/funcs.py result.opt=3 args.mpy_cross_flags=''
MPY asyncio/lock.py
MPY asyncio/lock.py result.opt=3 args.mpy_cross_flags=''
MPY asyncio/stream.py
MPY asyncio/stream.py result.opt=3 args.mpy_cross_flags=''
MPY uasyncio.py
MPY uasyncio.py result.opt=3 args.mpy_cross_flags=''
MPY typing.py
MPY typing.py result.opt=None args.mpy_cross_flags=''
GEN build-jos/frozen_content.c
CC build-jos/frozen_content.c
....

It would seem logical that the opt= option can be specified for require("modue")
as well , it does take accept kwargs def require(self, name, version=None, pypi=None, library=None, **kwargs): but the opt= is not processed as with package or module.

Ive also tried the same/similar in a bundle-typing , but that is just one level of indirection added to the manifest processing.

Alternatives:

Rewrite this as a package , loosing the simplicity of reference by name:

package("$(MPY_LIB_DIR)/python-stdlib/typing", opt=3)

The only option I get to work is by setting -O3 for the entire project ( quite a substantial size improvement BTW) but that is not my intent at this time.

# mpconfigvariant.mk
# Set optimization level for mpy-cross when building this variant
MPY_CROSS_FLAGS ?= -O3

[Josverl]

After a good night's sleep I was able to figure out how to pass options from one manifest to another.
See manifestfile.py:

• manifest API
• manifest options
• only include has this documented

It appears this is not yet documented in docs 📗

Example on how to use this that also allow different options to be passed to different modules/requires:

board/variant manifest.py:

require(
    "bundle-typing",
    # opt_level=2, # defaults to 3
)

bundle-typing/manifest.py:

options.defaults(opt_level=3, extensions=False) 

require("__future__", opt_level=options.opt_level)
require("typing", opt_level=options.opt_level)
require("abc", opt_level=options.opt_level)

typing/manifest.py:

# default to opt_level 3 for minimal firmware size
options.defaults(opt_level=3)
module("typing.py", opt=options.opt_level)