Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-02-01 17:54:59 -0800 (Mon, 01 Feb 1999)
Revision: 2582
Log message:
- Now all user configuration options are in mk/config file
- The old mk/config file (the one with all the make rules)
is now called mk/rules, the new mk/config is _not_ on CVS
- When mk/config.init is newer than mk/config (e.g. mk/config
does not exist), mk/config.init is appended to mk/config
- Toplevel Makefile checks if mk/config definies everything
it should define and prints an error message if not
- Fixed a bug in refiner/refsig/refine_error.h that prevented
SIMPLE refiner from being built
- I was not able to completely check if everything works because
of the bug introduced by the previous check-in