diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/makefile.py | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tools/makefile.py b/tools/makefile.py index 9292233601..53e1d493a0 100644 --- a/tools/makefile.py +++ b/tools/makefile.py @@ -5,6 +5,21 @@ from utils import * from utils import _make_path_relative import rtconfig +makefile = '''phony := all +all: + +include config.mk + +ifneq ($(MAKE_LIB),1) +TARGET := rtthread.elf +include src.mk +endif + +$(if $(strip $(RTT_ROOT)),,$(error RTT_ROOT not defined)) + +include $(RTT_ROOT)/tools/rtthread.mk +''' + def TargetMakefile(env): project = ProjectInfo(env) @@ -104,4 +119,8 @@ def TargetMakefile(env): for item in files: src.write('SRC_FILES +=%s\n' % item) + make = open('Makefile', 'w') + make.write(makefile) + make.close() + return |