define platform.soc_ext_path when --external argument is used (to use it to include...

diff --git a/make.py b/make.py
index c8ef3db3ed31461ad2511359d67beebca901f8aa..1d844ba159fb8b863df956423d7f89d339ee77e8 100755 (executable)
--- a/make.py
+++ b/make.py
@@ -85,6 +85,8 @@ if __name__ == "__main__":
                platform_name = args.platform
        platform_module = _misoc_import("mibuild.platforms", external_platform, platform_name)
        platform = platform_module.Platform()
+       if args.external:
+               platform.soc_ext_path = os.path.abspath(args.external)
 
        build_name = top_class.__name__.lower() + "-" + platform_name
        top_kwargs = dict((k, autotype(v)) for k, v in args.target_option)