On 01/02/2015 11:30 PM, Matthew Flatt wrote: > At Fri, 02 Jan 2015 14:17:02 -0500, Tony Garnock-Jones wrote: > Meanwhile, I keep thinking that `make update` should be just `make`. > That is, a `make` that isn't the first `make` should produce the same > result as if it had been the first `make` --- which implies downloading > the latest versions of packages.
I like that idea. > Omitting some details, the sequence > > make base > raco pkg update --all --auto --no-setup > raco pkg install --no-setup --skip-installed --pkgs $(PKGS) > raco setup > > seems right for the default `make` target. That seems good! (Of course, with "$(MAKE)" instead of "make".) Tony ____________________ Racket Users list: http://lists.racket-lang.org/users
