diff options
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) |