Contest Machine Configuration

[Greg Morrisett]

Hi Steve,

You should be able to just submit a binary, right?.  We only 
installed languages in case there are problems (we'll try to 
do some simple debugging if we also have the source) or you 
just can't produce an executable.

-Greg

> -----Original Message-----
> From: Stephen Weeks [mailto:sweeks@intertrust.com]
> Sent: Friday, August 25, 2000 11:46 AM
> To: icfp00@CS.Cornell.EDU
> Cc: MLton@sourcelight.com
> Subject: Contest Machine Configuration
> 
> 
> 
> I would like to request that MLton be installed on the 
> contest machine.  The
> binary rpm is available of the MLton home page at 
> 	http://www.sourcelight.com/MLton/mlton-20000712-2.i386.rpm
>