Contest Machine Configuration

Greg Morrisett jgm@cs.cornell.edu
Fri, 25 Aug 2000 11:58:16 -0400


Sorry -- we should've included MLton and CMU common lisp,
and half a zillion other languages that people have requested.
We just drew up a quick list by looking at the default
Red Hat configuration and adding in all of the languages
that people used last year.  Argh.

-Greg

> -----Original Message-----
> From: Stephen Weeks [mailto:sweeks@intertrust.com]
> Sent: Friday, August 25, 2000 11:55 AM
> To: Greg Morrisett
> Cc: 'MLton@sourcelight.com'
> Subject: RE: Contest Machine Configuration
> 
> 
> 
> > You should be able to just submit a binary, right?.  
> 
> Yes.
> 
> > 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.
> 
> I view it as more an advertisement for the compiler (but your 
> point about
> debugging is good too).  It is the case that one can easily produce
> standalone executables with mosml and ocaml, yet they are 
> both installed.
> 
> No big deal.
>