> I just tried to compile my program with -debug true and the compile > fails because -lmlton-gdb (i.e., libmlton-gdb.a) is not part of the > Debian package. It also isn't part of the .tgz download (I didn't > check the rpm). Is this an error? It was a concious decision. The debug library is a couple of meg gzipped, and people who use the debug library are probably OK with building MLton from source.