get_xen_headers.py

#!python -u

import os, sys
import shutil
import subprocess
import re

def shell(command):
    print(command)
    sys.stdout.flush()

    pipe = os.popen(' '.join(command), 'r', 1)

    for line in pipe:
        print(line.rstrip())

    return pipe.close()

def get_repo(url, working):
    shell(['git', 'clone', '--no-checkout', url, working])

def get_branch(tag, working):
    cwd = os.getcwd()
    os.chdir(working)
    shell(['git', 'checkout', '-b', tag])
    os.chdir(cwd)

def copy_file(working, src_dir, dst_dir, name):
    try:
        os.makedirs('include\\xen\\%s' % dst_dir)
    except OSError:
        None

    src = open('%s\\xen\\include\\%s\\%s' % (working, src_dir, name), 'r')
    dst = open('include\\xen\\%s\\%s' % (dst_dir, name), 'w', newline='\n')

    print(name)

    for line in src:
        line = re.sub(' unsigned long', ' ULONG_PTR', line)
        line = re.sub('\(unsigned long', '(ULONG_PTR', line)
        line = re.sub(' long', ' LONG_PTR', line)
        line = re.sub('\(long', '(LONG_PTR', line)
        dst.write(line)

    dst.close()
    src.close()

if __name__ == '__main__':
    tag = sys.argv[1]
    working = sys.argv[2]

    get_repo('git://xenbits.xen.org/xen.git', working)
    get_branch(tag, working)

    copy_file(working, 'public', '.', 'xen.h')

    copy_file(working, 'public', '.', 'xen-compat.h')
    copy_file(working, 'public', '.', 'trace.h')
    copy_file(working, 'public', '.', 'memory.h')
    copy_file(working, 'public', '.', 'sched.h')
    copy_file(working, 'public', '.', 'event_channel.h')
    copy_file(working, 'public', '.', 'grant_table.h')

    copy_file(working, 'xen', '.', 'errno.h')

    copy_file(working, 'public\\arch-x86', 'arch-x86', 'xen.h')
    copy_file(working, 'public\\arch-x86', 'arch-x86', 'xen-x86_32.h')
    copy_file(working, 'public\\arch-x86', 'arch-x86', 'xen-x86_64.h')

    copy_file(working, 'public\\hvm', 'hvm', 'hvm_op.h')
    copy_file(working, 'public\\hvm', 'hvm', 'params.h')

    copy_file(working, 'public\\io', 'io', 'xs_wire.h')