calibrate 389 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
#!/usr/bin/python

import math
import os
from os import *
from sys import *
from resource import *

compiler = argv[1]
compiler_name = os.path.basename(compiler)

spawnl(os.P_WAIT, compiler,
                  compiler_name, 'Calibrate.hs', '-o', 'Calibrate', '-O2')
spawnl(os.P_WAIT, './Calibrate', 'Calibrate')

xs = getrusage(RUSAGE_CHILDREN);
print (300*int(math.ceil(xs[0] + xs[1])))