|
@@ -37,6 +37,24 @@ def GetGCCRoot(rtconfig):
|
|
|
else:
|
|
|
root_path = os.path.join(exec_path, '..', prefix)
|
|
|
|
|
|
+ # Usually the cross compiling gcc toolchain has directory as:
|
|
|
+ #
|
|
|
+ # bin
|
|
|
+ # lib
|
|
|
+ # share
|
|
|
+ # arm-none-eabi
|
|
|
+ # bin
|
|
|
+ # include
|
|
|
+ # lib
|
|
|
+ # share
|
|
|
+ prefix = rtconfig.PREFIX
|
|
|
+ if prefix.endswith('-'):
|
|
|
+ prefix = prefix[:-1]
|
|
|
+
|
|
|
+ fn = os.path.join(root, prefix, 'include', filename)
|
|
|
+ if os.path.isfile(fn):
|
|
|
+ return True
|
|
|
+
|
|
|
return root_path
|
|
|
|
|
|
def CheckHeader(rtconfig, filename):
|