Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-10-12 18:25:01 -0700 (Mon, 12 Oct 1998)
Revision: 2495
Log message:
mk/config:
- OCAMLDEPFLAGS was overwritten here and all these "-prl" were not
passed to ocamldep, so we were loosing lots of dependencies - fixed
- When Makefile.dep is missing, it will be generated automatically.
README, doc/htmlman/mp-install.html
- Now there is no need to call make depend before make
Changes | Path |
+1 -3 | metaprl/README |
+0 -1 | metaprl/doc/htmlman/mp-install.html |
+4 -1 | metaprl/mk/config |