fwiw, I used the commands you specified and the make completed successfully. This was with a fresh clone of pltgit:plt. Here's the ubuntu version I'm running.
stchang@mton:~/plt/src/build$ cat /etc/issue Ubuntu 10.04.1 LTS \n \l stchang@mton:~/plt/src/build$ uname -r 2.6.32-27-generic On Mon, Jan 24, 2011 at 9:26 AM, Noel Welsh <noelwe...@gmail.com> wrote: > I also get that, but it doesn't stop compilation from working on other > platforms. > > N. > > On Mon, Jan 24, 2011 at 2:25 PM, Stephen Chang <stch...@ccs.neu.edu> wrote: >> When I try to run ../configure --disable-gracket, I get a warning that >> it's not a valid option: >> >> configure: WARNING: unrecognized options: --disable-gracket > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
