Re: [racket-dev] building from a git checkout into a separate BUILD directory

2013-11-06 Thread David T. Pierson
On Sun, Nov 03, 2013 at 11:28:46AM -0700, Matthew Flatt wrote: > But how well does it work to use > > bin/raco pkg install -i --auto main-distribution > > at the end of the commands above? > > Use `raco pkg install` pulls packages from the network, instead of from Hmm, I think that will not wo

Re: [racket-dev] building from a git checkout into a separate BUILD directory

2013-11-03 Thread Matthew Flatt
At Sat, 19 Oct 2013 23:13:44 -0400, "David T. Pierson" wrote: > I am building from a (relatively recent) git checkout. I have been > using the in-place make target which installs in ./racket, but I'd like > to have everything built and installed in a separate BUILD directory. > My motivations are

[racket-dev] building from a git checkout into a separate BUILD directory

2013-10-19 Thread David T. Pierson
I am building from a (relatively recent) git checkout. I have been using the in-place make target which installs in ./racket, but I'd like to have everything built and installed in a separate BUILD directory. My motivations are to have a single directory to rm -r when I want to start over and seco