No subject
Henry Cejtin
henry@sourcelight.com
Wed, 6 Sep 2000 16:17:44 -0500
>From costa@ufu.br Wed Sep 6 13:08:57 2000
Date: Wed, 06 Sep 2000 13:31:17 -0300
To: Henry Cejtin <henry@sourcelight.com>
From: costa@ufu.br (Antonio Eduardo Costa Pereira)
Subject: Re: Unable to install MLton
Reply-To: costa@ufu.br
Dear Henry.
Thank you for your prompt answer. I asked prof. Jamil
to help me with this problem. I think that the letter
that Stephen received was from him.
>The only thing that I can guess is that you have very very
> little memory.
Well, maybe I don't have a lot of memory, but I think it is
plenty enough: around 64M. However, since memory is quite
inexpensive, if the problem is that, I can buy some more.
>As I said, if you could mail me the result of
> cat /proc/meminfo
total: used: free: shared: buffers: cached:
Mem: 63918080 40689664 23228416 6582272 2342912 30613504
Swap: 0 0 0
Memtotal: 62420 kB
Memfree: 22684 kB
Memshared: 6428 kB
Buffers: 228 kB
Swap total: 0
Swap free: 0
Prof Jamil thinks that we should configure it for the Slackware,
and recompile it. He would like you to inform how the compilation
is done. If possible, you could send a configure program, like
the one used in ocaml, or bigloo. Is it possible to do that?
>Actually, the best thing would be to run
> strace mlton hello-world.sml >/tmp/z 2>&1
>and then to mail MLton@sourcelight.com a coy of the resulting file
/tmp/z.
Here it is:
execve("/usr/local/bin/mlton", ["mlton", "hello-world.sml"], [/* 37
vars */]) = 0
brk(0) = 0x80b516c
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1,
0) = 0x40013000
open("/etc/ld.so.preload", O_RDONLY) = -1 ENOENT (No such file
or directory)
open("/etc/ld.so.cache", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
mmap(0, 20797, PROT_READ, MAP_PRIVATE, 3, 0) = 0x40014000
close(3) = 0
open("/lib/libtermcap.so.2", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 13800, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 0x4001a000
mprotect(0x4001d000, 1512, PROT_NONE) = 0
mmap(0x4001d000, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED,
3, 0x2000) = 0x4001d000
close(3) = 0
open("/lib/libdl.so.2", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 11436, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 0x4001e000
mprotect(0x40020000, 3244, PROT_NONE) = 0
mmap(0x40020000, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED,
3, 0x1000) = 0x40020000
close(3) = 0
open("/lib/libc.so.6", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 949788, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) =
0x40021000
mprotect(0x40102000, 28188, PROT_NONE) = 0
mmap(0x40102000, 16384, PROT_READ|PROT_WRITE,
MAP_PRIVATE|MAP_FIXED, 3, 0xe0000) = 0x40102000
mmap(0x40106000, 11804, PROT_READ|PROT_WRITE,
MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0x40106000
close(3) = 0
mprotect(0x40021000, 921600, PROT_READ|PROT_WRITE) = 0
mprotect(0x40021000, 921600, PROT_READ|PROT_EXEC) = 0
munmap(0x40014000, 20797) = 0
personality(PER_LINUX) = 0
getpid() = 188
brk(0) = 0x80b516c
brk(0x80b6000) = 0x80b6000
rt_sigprocmask(0, 0xbffff850, 0xbffff7d0, 0x8, 0) = 0
brk(0x80b7000) = 0x80b7000
rt_sigprocmask(0x2, 0xbffff7d0, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
open("/dev/tty", O_RDWR|O_NONBLOCK) = 3
close(3) = 0
rt_sigprocmask(0, 0xbffff74c, 0xbffff6cc, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff6cc, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffb6b0, 0xbfffb630, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffb630, 0, 0x8, 0x2) = 0
open("/usr/share/locale/locale.alias", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1,
0) = 0x40014000
read(3, "# Locale name alias data base.\n"..., 4096) = 2174
rt_sigprocmask(0, 0xbfffb694, 0xbfffb614, 0x8, 0) = 0
brk(0x80b8000) = 0x80b8000
rt_sigprocmask(0x2, 0xbfffb614, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffb6a4, 0xbfffb624, 0x8, 0) = 0
brk(0x80b9000) = 0x80b9000
rt_sigprocmask(0x2, 0xbfffb624, 0, 0x8, 0x2) = 0
read(3, "", 4096) = 0
close(3) = 0
munmap(0x40014000, 4096) = 0
open("/usr/share/i18n/locale.alias", O_RDONLY) = -1 ENOENT (No such
file or directory)
rt_sigprocmask(0, 0xbffff6c4, 0xbffff644, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff644, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff5ec, 0xbffff56c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff56c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff658, 0xbffff5d8, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff5d8, 0, 0x8, 0x2) = 0
open("/usr/share/locale/pt_BR/LC_MESSAGES", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
close(3) = 0
open("/usr/share/locale/pt_BR/LC_MESSAGES/SYS_LC_MESSAGES",
O_RDONLY) = -1 ENOENT (No such file or directory)
open("/usr/share/i18n/pt_BR/LC_MESSAGES", O_RDONLY) = -1 ENOENT (No
such file or directory)
open("/usr/share/locale/pt/LC_MESSAGES", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
close(3) = 0
open("/usr/share/locale/pt/LC_MESSAGES/SYS_LC_MESSAGES", O_RDONLY)
= -1 ENOENT (No such file or directory)
open("/usr/share/i18n/pt/LC_MESSAGES", O_RDONLY) = -1 ENOENT (No
such file or directory)
getuid() = 0
getgid() = 0
geteuid() = 0
getegid() = 0
rt_sigprocmask(0, 0, 0x80b48fc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbffff81c, 0xbffff79c, 0x8, 0) = 0
brk(0x80ba000) = 0x80ba000
rt_sigprocmask(0x2, 0xbffff79c, 0, 0x8, 0x2) = 0
time(NULL) = 968294409
rt_sigaction(0x11, 0xbffff5d0, 0xbffff544, 0x8, 0x11) = 0
rt_sigaction(0x11, 0xbffff5c8, 0xbffff53c, 0x8, 0x11) = 0
rt_sigaction(0x2, 0xbffff5c0, 0xbffff534, 0x8, 0x2) = 0
rt_sigaction(0x2, 0xbffff5b8, 0xbffff52c, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff5d0, 0xbffff544, 0x8, 0x3) = 0
rt_sigaction(0x3, 0xbffff5c8, 0xbffff53c, 0x8, 0x3) = 0
rt_sigprocmask(0, 0, 0x80b4f40, 0x8, 0) = 0
rt_sigaction(0x3, 0xbffff5bc, 0xbffff530, 0x8, 0x3) = 0
uname({sys="Linux", node="lampiao", ...}) = 0
rt_sigprocmask(0, 0xbffff6e8, 0xbffff668, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c8, 0xbffff648, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff648, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c4, 0xbffff644, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff644, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c8, 0xbffff648, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff648, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
brk(0x80bb000) = 0x80bb000
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c4, 0xbffff644, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff644, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
stat("/usr/doc/mlton-20000712/examples", {st_mode=0, st_size=0,
...}) = 0
stat(".", {st_mode=0, st_size=0, ...}) = 0
getpid() = 188
getppid() = 187
rt_sigprocmask(0, 0xbffff6c8, 0xbffff648, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff648, 0, 0x8, 0x2) = 0
stat(".", {st_mode=0, st_size=0, ...}) = 0
stat("/usr/local/sbin/sh", 0xbffff5f4) = -1 ENOENT (No such file
or directory)
stat("/usr/local/bin/sh", 0xbffff5f4) = -1 ENOENT (No such file
or directory)
stat("/sbin/sh", 0xbffff5f4) = -1 ENOENT (No such file
or directory)
stat("/usr/sbin/sh", 0xbffff5f4) = -1 ENOENT (No such file
or directory)
stat("/bin/sh", {st_mode=0, st_size=0, ...}) = 0
stat("/bin/sh", {st_mode=0, st_size=0, ...}) = 0
rt_sigprocmask(0, 0xbffff6b4, 0xbffff634, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff634, 0, 0x8, 0x2) = 0
getpgrp() = 187
rt_sigaction(0x11, 0xbffff5cc, 0xbffff540, 0x8, 0x11) = 0
rt_sigprocmask(0, 0xbffff6b0, 0xbffff630, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff630, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
open("/usr/local/bin/mlton", O_RDONLY) = 3
lseek(3, 0, SEEK_CUR) = 0
read(3, "#!/bin/sh\n\n# This script calls"..., 80) = 80
lseek(3, 0, SEEK_SET) = 0
fcntl(3, F_SETFD, FD_CLOEXEC) = 0
fcntl(3, F_GETFL) = 0 (flags O_RDONLY)
fstat(3, {st_mode=0, st_size=0, ...}) = 0
lseek(3, 0, SEEK_CUR) = 0
rt_sigprocmask(0, 0xbffff7a4, 0xbffff724, 0x8, 0) = 0
brk(0x80bc000) = 0x80bc000
rt_sigprocmask(0x2, 0xbffff724, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff76c, 0xbffff6ec, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff6ec, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
read(3, "#!/bin/sh\n\n# This script calls"..., 1249) = 1249
rt_sigprocmask(0, 0xbfffefa4, 0xbfffef24, 0x8, 0) = 0
brk(0x80bd000) = 0x80bd000
rt_sigprocmask(0x2, 0xbfffef24, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffef34, 0xbfffeeb4, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffeeb4, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffeefc, 0xbfffee7c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffee7c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffef34, 0xbfffeeb4, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffeeb4, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6a0, 0xbffff620, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff620, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff494, 0xbffff414, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff414, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff2b4, 0xbffff234, 0x8, 0) = 0
brk(0x80be000) = 0x80be000
rt_sigprocmask(0x2, 0xbffff234, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff46c, 0xbffff3ec, 0x8, 0) = 0
brk(0x80bf000) = 0x80bf000
rt_sigprocmask(0x2, 0xbffff3ec, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffef7c, 0xbfffeefc, 0x8, 0) = 0
brk(0x80c0000) = 0x80c0000
rt_sigprocmask(0x2, 0xbfffeefc, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff750, 0xbffff6d0, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff6d0, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff620, 0xbffff5a0, 0x8, 0) = 0
brk(0x80c1000) = 0x80c1000
rt_sigprocmask(0x2, 0xbffff5a0, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff584, 0xbffff504, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff504, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff58c, 0xbffff50c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff50c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff58c, 0xbffff50c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff50c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b397c, 0x8, 0) = 0
stat("/usr/local/lib/mlton/lib/mlton.x86-linux", 0xbffff540) = -1
ENOENT (No such file or directory)
stat("/usr/local/lib/mlton/lib/mlton", {st_mode=0, st_size=0, ...})
= 0
stat("/usr/local/lib/mlton/lib/mlton.x86-linux", 0xbffff4ac) = -1
ENOENT (No such file or directory)
rt_sigprocmask(0x2, 0x80b397c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b397c, 0x8, 0) = 0
stat("/usr/local/lib/mlton/lib/mlton", {st_mode=0, st_size=0, ...})
= 0
rt_sigprocmask(0x2, 0x80b397c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4e8, 0xbffff468, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff468, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff500, 0xbffff480, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff480, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff500, 0xbffff480, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff480, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff500, 0xbffff480, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff480, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff500, 0xbffff480, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff480, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigaction(0x2, 0xbffff3c8, 0xbffff33c, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff3c8, 0xbffff33c, 0x8, 0x3) = 0
rt_sigaction(0x11, 0xbffff3c8, 0xbffff33c, 0x8, 0x11) = 0
execve("/usr/local/lib/mlton/lib/mlton",
["/usr/local/lib/mlton/lib/mlton", "@MLton", "load-world",
"/usr/local/lib/mlton/lib/world.m"..., "--",
"/usr/local/lib/mlton", "gcc", "-w", "-fomit-frame-pointer", "-fno-
strength-reduce", "-m486", "-malign-loops=2", "-malign-jumps=2", "-
malign-functions=2", "END", "-I/usr/local/lib/mlton/include", ...],
[/* 33 vars */]) = 0
brk(0) = 0x847db30
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1,
0) = 0x40013000
open("/etc/ld.so.preload", O_RDONLY) = -1 ENOENT (No such file
or directory)
open("/etc/ld.so.cache", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
mmap(0, 20797, PROT_READ, MAP_PRIVATE, 3, 0) = 0x40014000
close(3) = 0
open("/lib/libm.so.6", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 111096, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) =
0x4001a000
mprotect(0x40035000, 504, PROT_NONE) = 0
mmap(0x40035000, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED,
3, 0x1a000) = 0x40035000
close(3) = 0
open("/lib/libc.so.6", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 949788, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) =
0x40036000
mprotect(0x40117000, 28188, PROT_NONE) = 0
mmap(0x40117000, 16384, PROT_READ|PROT_WRITE,
MAP_PRIVATE|MAP_FIXED, 3, 0xe0000) = 0x40117000
mmap(0x4011b000, 11804, PROT_READ|PROT_WRITE,
MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0x4011b000
close(3) = 0
mprotect(0x40036000, 921600, PROT_READ|PROT_WRITE) = 0
mprotect(0x40036000, 921600, PROT_READ|PROT_EXEC) = 0
munmap(0x40014000, 20797) = 0
personality(PER_LINUX) = 0
getpid() = 188
brk(0) = 0x847db30
brk(0x847dcd0) = 0x847dcd0
brk(0x847e000) = 0x847e000
getrusage(RUSAGE_SELF, {ru_utime={0, 30000}, ru_stime={0, 0}, ...})
= 0
open("/usr/local/lib/mlton/lib/world.mlton", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...}) = 0
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1,
0) = 0x40014000
read(3, "Heap file created by MLton.\nbas"..., 4096) = 4096
mmap(0, 27664384, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS,
-1, 0) = 0x4011e000
read(3, "\0\0\v\0\0\0\0\0\0\2\1\0\0\0\200"..., 3452928) = 3452928
read(3, "\0\1\200\0\200\t\0\0\0dpdC\1\200"..., 4096) = 4096
read(3, "CP\3140C\\\3140Ch\3140Ct\3140C\210"..., 8192) = 8192
read(3, "C\260?1C\274?1C\310?1C\324?1C\340"..., 4096) = 2605
read(3, "", 4096) = 0
close(3) = 0
munmap(0x40014000, 4096) = 0
mmap(0, 27664384, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS,
-1, 0) = 0x41b80000
rt_sigaction(0, 0, 0xbffff280, 0x8, 0) = -1 EINVAL (Invalid
argument)
rt_sigaction(0x1, 0, 0xbffff280, 0x8, 0x1) = 0
rt_sigaction(0x2, 0, 0xbffff280, 0x8, 0x2) = 0
rt_sigaction(0x3, 0, 0xbffff280, 0x8, 0x3) = 0
rt_sigaction(0x4, 0, 0xbffff280, 0x8, 0x4) = 0
rt_sigaction(0x5, 0, 0xbffff280, 0x8, 0x5) = 0
rt_sigaction(0x6, 0, 0xbffff280, 0x8, 0x6) = 0
rt_sigaction(0x7, 0, 0xbffff280, 0x8, 0x7) = 0
rt_sigaction(0x8, 0, 0xbffff280, 0x8, 0x8) = 0
rt_sigaction(0x9, 0, 0xbffff280, 0x8, 0x9) = 0
rt_sigaction(0xa, 0, 0xbffff280, 0x8, 0xa) = 0
rt_sigaction(0xb, 0, 0xbffff280, 0x8, 0xb) = 0
rt_sigaction(0xc, 0, 0xbffff280, 0x8, 0xc) = 0
rt_sigaction(0xd, 0, 0xbffff280, 0x8, 0xd) = 0
rt_sigaction(0xe, 0, 0xbffff280, 0x8, 0xe) = 0
rt_sigaction(0xf, 0, 0xbffff280, 0x8, 0xf) = 0
rt_sigaction(0x10, 0, 0xbffff280, 0x8, 0x10) = 0
rt_sigaction(0x11, 0, 0xbffff280, 0x8, 0x11) = 0
rt_sigaction(0x12, 0, 0xbffff280, 0x8, 0x12) = 0
rt_sigaction(0x13, 0, 0xbffff280, 0x8, 0x13) = 0
rt_sigaction(0x14, 0, 0xbffff280, 0x8, 0x14) = 0
rt_sigaction(0x15, 0, 0xbffff280, 0x8, 0x15) = 0
rt_sigaction(0x16, 0, 0xbffff280, 0x8, 0x16) = 0
rt_sigaction(0x17, 0, 0xbffff280, 0x8, 0x17) = 0
rt_sigaction(0x18, 0, 0xbffff280, 0x8, 0x18) = 0
rt_sigaction(0x19, 0, 0xbffff280, 0x8, 0x19) = 0
rt_sigaction(0x1a, 0, 0xbffff280, 0x8, 0x1a) = 0
rt_sigaction(0x1b, 0, 0xbffff280, 0x8, 0x1b) = 0
rt_sigaction(0x1c, 0, 0xbffff280, 0x8, 0x1c) = 0
rt_sigaction(0x1d, 0, 0xbffff280, 0x8, 0x1d) = 0
rt_sigaction(0x1e, 0, 0xbffff280, 0x8, 0x1e) = 0
rt_sigaction(0x1f, 0, 0xbffff280, 0x8, 0x1f) = 0
rt_sigaction(0x20, 0, 0xbffff280, 0x8, 0x20) = 0
rt_sigaction(0x21, 0, 0xbffff280, 0x8, 0x21) = 0
rt_sigaction(0x22, 0, 0xbffff280, 0x8, 0x22) = 0
rt_sigaction(0x23, 0, 0xbffff280, 0x8, 0x23) = 0
rt_sigaction(0x24, 0, 0xbffff280, 0x8, 0x24) = 0
rt_sigaction(0x25, 0, 0xbffff280, 0x8, 0x25) = 0
rt_sigaction(0x26, 0, 0xbffff280, 0x8, 0x26) = 0
rt_sigaction(0x27, 0, 0xbffff280, 0x8, 0x27) = 0
rt_sigaction(0x28, 0, 0xbffff280, 0x8, 0x28) = 0
rt_sigaction(0x29, 0, 0xbffff280, 0x8, 0x29) = 0
rt_sigaction(0x2a, 0, 0xbffff280, 0x8, 0x2a) = 0
rt_sigaction(0x2b, 0, 0xbffff280, 0x8, 0x2b) = 0
rt_sigaction(0x2c, 0, 0xbffff280, 0x8, 0x2c) = 0
rt_sigaction(0x2d, 0, 0xbffff280, 0x8, 0x2d) = 0
rt_sigaction(0x2e, 0, 0xbffff280, 0x8, 0x2e) = 0
rt_sigaction(0x2f, 0, 0xbffff280, 0x8, 0x2f) = 0
rt_sigaction(0x30, 0, 0xbffff280, 0x8, 0x30) = 0
rt_sigaction(0x31, 0, 0xbffff280, 0x8, 0x31) = 0
rt_sigaction(0x32, 0, 0xbffff280, 0x8, 0x32) = 0
rt_sigaction(0x33, 0, 0xbffff280, 0x8, 0x33) = 0
rt_sigaction(0x34, 0, 0xbffff280, 0x8, 0x34) = 0
rt_sigaction(0x35, 0, 0xbffff280, 0x8, 0x35) = 0
rt_sigaction(0x36, 0, 0xbffff280, 0x8, 0x36) = 0
rt_sigaction(0x37, 0, 0xbffff280, 0x8, 0x37) = 0
rt_sigaction(0x38, 0, 0xbffff280, 0x8, 0x38) = 0
rt_sigaction(0x39, 0, 0xbffff280, 0x8, 0x39) = 0
rt_sigaction(0x3a, 0, 0xbffff280, 0x8, 0x3a) = 0
rt_sigaction(0x3b, 0, 0xbffff280, 0x8, 0x3b) = 0
rt_sigaction(0x3c, 0, 0xbffff280, 0x8, 0x3c) = 0
rt_sigaction(0x3d, 0, 0xbffff280, 0x8, 0x3d) = 0
rt_sigaction(0x3e, 0, 0xbffff280, 0x8, 0x3e) = 0
rt_sigaction(0x3f, 0, 0xbffff280, 0x8, 0x3f) = 0
stat("/tmp", {st_mode=0, st_size=0, ...}) = 0
gettimeofday({968294410, 33341}, NULL) = 0
getpid() = 188
stat("/tmp/fileOf45Ad", 0xbffff334) = -1 ENOENT (No such file
or directory)
gettimeofday({968294410, 60327}, NULL) = 0
open("/etc/localtime", O_RDONLY) = 3
read(3, "TZif\0\0\0\0\0\0\0\0\0\0\0\0\0\0"..., 44) = 44
brk(0x847f000) = 0x847f000
read(3, "\226\252r\264\270\17I\340\270\375"..., 645) = 645
fstat(3, {st_mode=0, st_size=0, ...}) = 0
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1,
0) = 0x40014000
read(3, "\377\377\324L\0\0\377\377\343\340"..., 4096) = 45
close(3) = 0
munmap(0x40014000, 4096) = 0
open("hello-world.sml", O_RDONLY) = 3
open("/tmp/fileOf45Ad.c", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 4
fstat(4, {st_mode=0, st_size=0, ...}) = 0
ioctl(4, TTY_MAGIC, 0xbffff3d8) = -1 ENOTTY (Inappropriate
ioctl for device)
rt_sigprocmask(0, 0x847d968, 0, 0x8, 0) = 0
rt_sigprocmask(0x1, 0x847d968, 0, 0x8, 0x1) = 0
rt_sigprocmask(0, 0x847d968, 0, 0x8, 0) = 0
rt_sigprocmask(0x1, 0x847d968, 0, 0x8, 0x1) = 0
rt_sigprocmask(0, 0x847d968, 0, 0x8, 0) = 0
rt_sigprocmask(0x1, 0x847d968, 0, 0x8, 0x1) = 0
read(3, "val _ = print \"Hello, world!\\n"..., 1024) = 32
read(3, "", 992) = 0
stat("/tmp", {st_mode=0, st_size=0, ...}) = 0
gettimeofday({968294410, 487305}, NULL) = 0
getpid() = 188
stat("/tmp/fileorQFZL", 0xbffff334) = -1 ENOENT (No such file
or directory)
open("/tmp/fileorQFZL.c", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 5
fstat(5, {st_mode=0, st_size=0, ...}) = 0
ioctl(5, TTY_MAGIC, 0xbffff3d8) = -1 ENOTTY (Inappropriate
ioctl for device)
write(5, "#include <stdio.h>\n#include \"m"..., 260) = 260
close(5) = 0
stat("/tmp", {st_mode=0, st_size=0, ...}) = 0
gettimeofday({968294410, 498817}, NULL) = 0
getpid() = 188
stat("/tmp/file6kFUPl", 0xbffff334) = -1 ENOENT (No such file
or directory)
fork() = 189
rt_sigaction(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff668, 0, 0x8, 0x3) = 0
wait4(189, [WIFEXITED(s) && WEXITSTATUS(s) == 0], 0, NULL) = 189
--- SIGCHLD (Filho finalizado) ---
rt_sigaction(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff668, 0, 0x8, 0x3) = 0
stat("/tmp", {st_mode=0, st_size=0, ...}) = 0
gettimeofday({968294413, 798094}, NULL) = 0
getpid() = 188
stat("/tmp/fileJUbRsg", 0xbffff334) = -1 ENOENT (No such file
or directory)
fork() = 195
rt_sigaction(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff668, 0, 0x8, 0x3) = 0
wait4(195, [WIFEXITED(s) && WEXITSTATUS(s) == 0], 0, NULL) = 195
--- SIGCHLD (Filho finalizado) ---
rt_sigaction(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff668, 0, 0x8, 0x3) = 0
open("/tmp/fileJUbRsg", O_RDONLY) = 5
read(5, "1073741823\ntrue\ntrue\n", 4096) = 21
read(5, "", 4096) = 0
close(5) = 0
access("/tmp/fileJUbRsg", F_OK) = 0
unlink("/tmp/fileJUbRsg") = 0
access("/tmp/file6kFUPl", F_OK) = 0
unlink("/tmp/file6kFUPl") = 0
access("/tmp/fileorQFZL.c", F_OK) = 0
unlink("/tmp/fileorQFZL.c") = 0
rt_sigprocmask(0, 0x847d968, 0, 0x8, 0) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 630000}, ru_stime={0, 250000},
...}) = 0
munmap(0x41b80000, 27664384) = 0
mmap(0, 28659712, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS,
-1, 0) = -1 ENOMEM (Cannot allocate memory)
write(2, "mmap failed", 11mmap failed) = 11
write(2, "\n", 1
) = 1
_exit(1) = ?]