diff --git a/tools/eclipse.py b/tools/eclipse.py index 31c1bb914b..ae363aba7f 100644 --- a/tools/eclipse.py +++ b/tools/eclipse.py @@ -320,6 +320,12 @@ def HandleToolOption(tools, env, project, reset): # add new libs if 'LIBS' in env: for lib in env['LIBS']: + lib_name = os.path.basename(str(lib)) + if lib_name.endswith('.a'): + if lib_name.startswith('lib'): + lib = lib_name[3:].split('.')[0] + else: + lib = ':' + lib_name formatedLib = ConverToRttEclipseLibFormat(lib) SubElement(option, 'listOptionValue', { 'builtIn': 'false', 'value': formatedLib})