diff options
| author | Angus Gratton <angus@redyak.com.au> | 2024-02-13 17:18:18 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-02-19 13:32:23 +1100 |
| commit | 1ef2944b984545cd9c25a3a16c4fd80c97754eeb (patch) | |
| tree | 4d094c58619209706fd5178fd57402aae2bf81ca /tools/manifestfile.py | |
| parent | def6ad474264a677d22f62c741ef422321a4a41a (diff) | |
| download | micropython-1ef2944b984545cd9c25a3a16c4fd80c97754eeb.tar.gz micropython-1ef2944b984545cd9c25a3a16c4fd80c97754eeb.zip | |
tools/manifestfile.py: Add --unix-ffi option.
Follow up to 35dd959133fb233d75e9b3cddbf98b2ed01c6594, allows explicitly
adding the unix-ffi library path from the command line.
This option is needed when building unix-ffi manifests in micropython-lib
CI.
This work was funded through GitHub Sponsors.
Signed-off-by: Angus Gratton <angus@redyak.com.au>
Diffstat (limited to 'tools/manifestfile.py')
| -rw-r--r-- | tools/manifestfile.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/manifestfile.py b/tools/manifestfile.py index 47403d4e3b..c1fc836585 100644 --- a/tools/manifestfile.py +++ b/tools/manifestfile.py @@ -603,6 +603,9 @@ def main(): default=os.path.join(os.path.dirname(__file__), "../lib/micropython-lib"), help="path to micropython-lib repo", ) + cmd_parser.add_argument( + "--unix-ffi", action="store_true", help="prepend unix-ffi to the library path" + ) cmd_parser.add_argument("--port", default=None, help="path to port dir") cmd_parser.add_argument("--board", default=None, help="path to board dir") cmd_parser.add_argument( @@ -632,6 +635,8 @@ def main(): exit(1) m = ManifestFile(mode, path_vars) + if args.unix_ffi: + m.add_library("unix-ffi", os.path.join("$(MPY_LIB_DIR)", "unix-ffi"), prepend=True) for manifest_file in args.files: try: m.execute(manifest_file) |