view kernel/make.py @ 310:e95e5572cd6d

Added utils doc page
author Windel Bouwman
date Fri, 13 Dec 2013 14:10:10 +0100
parents b145f8e6050b
children ff665880a6b0
line wrap: on
line source

#!/usr/bin/env python

import sys
import os
sys.path.insert(0, os.path.join('..', 'python'))
import zcc

def make():
    arglist = ['memory.c3', 'kernel.c3', 'syscall.c3', 'process.c3']
    arglist += ['schedule.c3', 'arch_arm.c3']
    arglist += ['--target', 'arm']
    arglist += ['--dumpasm', '--dumpir']
    arglist += ['--log', 'debug']

    args = zcc.parser.parse_args(arglist)
    zcc.main(args)

if __name__ == '__main__':
    make()