Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2010-10-17 14:46:00 -0700 (Sun, 17 Oct 2010)
Revision: 13193
Log message:
Fixes to work with recent OMake.
| Changes | Path(relative to metaprl-branches/ocaml-3.10.0) |
| +1 -1 | mk/defaults |
| +1 -1 | support/tactics/OMakefile |
| +1 -1 | theories/itt/tests/OMakefile |