blob: c4bdba64f87e2e81a99379f59b80bc26401e925f (
plain)
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])))
|
