diff options
| author | Bernard Xiong <[email protected]> | 2021-06-10 15:52:35 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-10 15:52:35 +0800 |
| commit | ed402ec25c1a6ec486a9b5470728c00085acd6a5 (patch) | |
| tree | 9cf69be6af4ea3ca1bbb7c4551854a3ec5ef88e1 /tools/makefile.py | |
| parent | 37ac244d332e4216edb814ef543c6be8c9203c2e (diff) | |
| parent | 9776fa5021b56f8847127138a37c7b5824305ba0 (diff) | |
Merge pull request #4750 from iysheng/extern_lib
[tools] Optimization the EXTERN_LIB variable use
Diffstat (limited to 'tools/makefile.py')
| -rw-r--r-- | tools/makefile.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/makefile.py b/tools/makefile.py index 655e294575..97001892c9 100644 --- a/tools/makefile.py +++ b/tools/makefile.py @@ -51,6 +51,14 @@ def TargetMakefile(env): if 'CXXFLAGS' in dir(rtconfig): make.write('CXXFLAGS :=%s' % (rtconfig.CXXFLAGS)) make.write('\n') + if env.has_key('LIBS'): + make.write('EXTERN_LIB := ') + for tlib in env['LIBS']: + make.write('-l%s ' % (tlib)) + if env.has_key('LIBPATH'): + for tlibpath in env['LIBPATH']: + make.write('-L%s ' % (tlibpath)) + make.write('\n') make.write('\n') |