From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Jan 12 07:58:19 EST 2011 |
|
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.)
Posted on the dev mailing list. |
|