from building import * cwd = GetCurrentDir() src = Split(''' src/clock_time.c src/hrtimer.c src/clock_time_tick.c src/clock_time_cputime.c src/clock_time_boottime.c ''') CPPPATH = [cwd + '/include', cwd + '/../include'] LOCAL_CCFLAGS = '' if rtconfig.PLATFORM in ['gcc', 'armclang']: LOCAL_CCFLAGS += ' -std=gnu99' elif rtconfig.PLATFORM in ['armcc']: LOCAL_CCFLAGS += ' --c99 --gnu' group = DefineGroup('DeviceDrivers', src, depend=['RT_USING_CLOCK_TIME'], CPPPATH=CPPPATH, LOCAL_CCFLAGS=LOCAL_CCFLAGS) Return('group')