From e6a07139ce595d7045fc54748544708e5921f2b7 Mon Sep 17 00:00:00 2001 From: armink Date: Thu, 15 Aug 2019 10:22:29 +0800 Subject: [PATCH] [tools] Fix eclipse configuration for lib paths. --- tools/eclipse.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/tools/eclipse.py b/tools/eclipse.py index bc4e670e36..d781a701cb 100644 --- a/tools/eclipse.py +++ b/tools/eclipse.py @@ -218,6 +218,15 @@ def HandleToolOption(tools, env, project, reset): for lib in env['LIBS']: SubElement(option, 'listOptionValue', {'builtIn': 'false', 'value': lib}) + # update lib paths + if option.get('id').find('c.linker.paths') != -1 and env.has_key('LIBPATH'): + # remove old lib paths + for item in option.findall('listOptionValue'): + option.remove(item) + # add new old lib paths + for path in env['LIBPATH']: + SubElement(option, 'listOptionValue', {'builtIn': 'false', 'value': path}) + return