Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-10-05 18:40:01 -0700 (Fri, 05 Oct 2001)
Revision: 3419
Log message:
- I got rid of "MAKE_JOBS" variable in mk/config. If you want "make" to keep
running jobs in parallel when building MetaPRL, you should either
a) Make sure you have MAKEFLAGS environment variable contains appropriate "-j nn"
b) pass "-j nn" manually to make
c) Add "-j nn" to the MAKE_OPTS in mk/config (make will print warnings if you do this).
- I created a new config file - mk/config.local where people can put their
customized settings that do not belong to mk/config
- I fixed the problems caused by Camlp4 switch to keeping "escaped" strings
in the ASTs
- I got rid of the warnings caused by the outdated resource infos in old .prla
- I renamed back "Summary!parent2" -> "Summary!parent" and "Summary!resource2" ->
"Summary!resource" for backwards compatibility with old .prla and display forms.