[MLton] HOL on MLton
Joe Hurd
joe.hurd@comlab.ox.ac.uk
Sun, 19 Oct 2003 17:35:29 +0100 (BST)
I've now tried to compile HOL on a machine with 1.5Gb, using
mlton-20030716. Though it gets pretty far, it fails while trying to
write a large temporary file
-rw------- 1 jeh1004 jeh1004 92639232 Oct 19 17:29 FromSpacevzJm5f
into a 100Mb /tmp partition. For interest, the compile log follows.
Any chance I could tell mlton not to use /tmp, but somewhere else?
Joe
_________________________________________________
mlton -basis 1997 -verbose 2 -exn-history true bin/psl1.sml
MLton starting
MLton 20030716 (built Wed Jul 16 10:23:10 2003 on redhat71)
created this file on Sun Oct 19 17:08:08 2003.
Do not edit this file.
Flag settings:
align: 4
basis library: basis-1997
log2 (card size): 8
chunk: chunk per function
debug: false
defines: []
detect overflow: true
drop passes: []
eliminate overflow: true
export header: false
exn history: true
gc check: Limit
handlers: Flow
host: self
host arch: X86
host OS: Linux
indentation: 3
inline: NonRecursive {product = 320, small = 60}
input file: psl1
instrument: false
instrument Sxml: false
keep Machine: false
keep RSSA: false
keep SSA: false
keep diagnostics: []
keep dot: false
keep passes: []
lib dir: /local/scratch/jeh1004/binaries/mlton-20030716/usr/lib/mlton/self
limit check: loop headers (fullCFG = false, loopExits = true)
limit check counts: false
loop passes: 1
mark cards: true
may load world: true
native: true
native commented: 0
native live stack: false
native optimize: 1
native move hoist: true
native copy prop: true
native cutoff: 100
native live transfer: 8
native future: 64
native shuffle: true
native ieee fp: false
native split: Some 20000
new return: false
polyvariance: Some {rounds = 2, small = 30, product = 300}
profile: None
profile basis: false
profile IL: ProfileSource
profile stack: false
safe: true
show basis used: false
show types: false
stack cont: false
static: false
TextIO buffer size: 4096
type check: false
use basis library: true
variant: header
verbosity: Pass
Compile SML starting
pre codegen starting
parseAndElaborate starting
parseAndElaborate finished in 9.22 + 5.76 (38% GC)
lex and parse totals 7.47 + 5.76 (44% GC)
elaborate totals 1.75 + 0.00 (0% GC)
deadCode starting
deadCode finished in 0.27 + 0.00 (0% GC)
infer starting
unification starting
unification finished in 5.32 + 6.50 (55% GC)
finishInfer starting
finishInfer finished in 3.39 + 3.84 (53% GC)
infer finished in 9.27 + 10.34 (53% GC)
inferSimplify starting
xmlShrink1 starting
xmlShrink1 finished in 4.30 + 4.53 (51% GC)
simplifyTypes starting
simplifyTypes finished in 0.95 + 0.00 (0% GC)
inferSimplify finished in 9.37 + 6.22 (40% GC)
mono starting
mono finished in 4.17 + 3.25 (44% GC)
monoSimplify starting
sxmlShrink1 starting
sxmlShrink1 finished in 3.51 + 1.21 (26% GC)
implementExceptions starting
implementExceptions finished in 0.38 + 1.25 (77% GC)
sxmlShrink2 starting
sxmlShrink2 finished in 3.86 + 5.42 (58% GC)
polyvariance starting
polyvariance finished in 11.98 + 12.07 (50% GC)
monoSimplify finished in 21.93 + 23.37 (52% GC)
closureConvert starting
flow analysis starting
flow analysis finished in 2.66 + 0.00 (0% GC)
free variables starting
free variables finished in 0.72 + 0.00 (0% GC)
globalize starting
globalize finished in 0.57 + 0.00 (0% GC)
convert starting
convert finished in 7.48 + 8.81 (54% GC)
closureConvert finished in 11.97 + 8.81 (42% GC)
closureConvertSimplify starting
checkScopes starting
checkScopes finished in 2.56 + 0.66 (20% GC)
removeUnused1 starting
removeUnused1 finished in 4.29 + 5.72 (57% GC)
leafInline starting
leafInline finished in 1.83 + 10.58 (85% GC)
contify1 starting
contify1 finished in 1.93 + 0.00 (0% GC)
localFlatten1 starting
localFlatten1 finished in 1.66 + 0.00 (0% GC)
constantPropagation starting
constantPropagation finished in 5.75 + 7.64 (57% GC)
useless starting
useless finished in 8.52 + 11.70 (58% GC)
removeUnused2 starting
removeUnused2 finished in 2.31 + 1.21 (34% GC)
simplifyTypes starting
simplifyTypes finished in 2.37 + 2.06 (47% GC)
polyEqual starting
polyEqual finished in 0.93 + 0.98 (51% GC)
contify2 starting
contify2 finished in 1.43 + 1.62 (53% GC)
inline starting
inline finished in 2.48 + 7.67 (76% GC)
localFlatten2 starting
localFlatten2 finished in 1.87 + 0.00 (0% GC)
removeUnused3 starting
removeUnused3 finished in 2.49 + 2.01 (45% GC)
contify3 starting
contify3 finished in 1.76 + 0.00 (0% GC)
introduceLoops starting
introduceLoops finished in 0.04 + 0.00 (0% GC)
loopInvariant starting
loopInvariant finished in 1.71 + 0.00 (0% GC)
localRef starting
localRef finished in 4.25 + 2.37 (36% GC)
flatten starting
flatten finished in 2.28 + 1.29 (36% GC)
localFlatten3 starting
localFlatten3 finished in 1.61 + 0.00 (0% GC)
commonArg starting
commonArg finished in 376.35 + 2.07 (1% GC)
commonSubexp starting
commonSubexp finished in 2.84 + 0.98 (26% GC)
commonBlock starting
commonBlock finished in 1.22 + 0.00 (0% GC)
redundantTests starting
redundantTests finished in 2.02 + 1.04 (34% GC)
redundant starting
redundant finished in 1.10 + 0.00 (0% GC)
knownCase starting
knownCase finished in 10.42 + 17.60 (63% GC)
removeUnused4 starting
removeUnused4 finished in 2.39 + 2.02 (46% GC)
checkScopes starting
checkScopes finished in 1.32 + 0.52 (28% GC)
closureConvertSimplify finished in 451.64 + 79.74 (15% GC)
backend starting
ssaToRssa starting
ssaToRssa finished in 1.34 + 1.19 (47% GC)
insertLimitChecks starting
insertLimitChecks finished in 2.00 + 1.95 (49% GC)
insertSignalChecks starting
insertSignalChecks finished in 0.07 + 0.00 (0% GC)
implementHandlers starting
implementHandlers finished in 0.56 + 5.28 (90% GC)
profile starting
profile finished in 0.00 + 0.00 (0% GC)
sfwrite failed (No space left on device)
make: *** [bin/psl1] Error 1
thalamus:~/hol/tools/mlton$ df
Filesystem 1k-blocks Used Available Use% Mounted on
/dev/vg01/tmp 100744 95624 0 100% /tmp
_______________________________________________
MLton mailing list
MLton@mlton.org
http://www.mlton.org/mailman/listinfo/mlton