You can also set PLT_SETUP_OPTIONS to "-D" and then make install will avoid building the docs. Also note that on a multi-core machine "make -j <N>" works and speeds things up a bit.
Robby On Mon, Jan 17, 2011 at 9:02 AM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > On Mon, Jan 17, 2011 at 10:01 AM, Noel Welsh <noelwe...@gmail.com> wrote: >> Well, that didn't work, but we've decided to upgrade to Racket anyway >> :) What's the equivalent process for Racket? > > Very similar: > > % make > % make plain-install > % raco setup -D > >> >> Thanks, >> N. >> >> On Wed, Jan 12, 2011 at 12:58 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote: >>> At Wed, 12 Jan 2011 11:29:03 +0000, Noel Welsh wrote: >>>> I'm trying to build 4.2.2 without building the docs. I thought I could >>>> just run make and then setup-plt -D, but make does not install the >>>> binaries. Looking through the Makefile did not lead to enlightenment. >>>> Any suggestions? >>> >>> Does `make plain-install' followed by `setup-plt -D' work? (Version >>> 4.2.2 is old enough that I forget what worked back then.) >>> >>> >> _________________________________________________ >> For list-related administrative tasks: >> http://lists.racket-lang.org/listinfo/dev >> > > > > -- > sam th > sa...@ccs.neu.edu > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/dev > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev