Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2010-10-17 13:44:42 -0700 (Sun, 17 Oct 2010)
Revision: 13192
Log message:
Fixing "omake clean"
| Changes | Path(relative to metaprl-branches/ocaml-3.10.0) |
| +1 -1 | OMakefile_common |
| +1 -1 | filter/base/OMakefile |
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 |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2010-10-17 15:55:34 -0700 (Sun, 17 Oct 2010)
Revision: 13194
Log message:
Builds fine using ocaml-3.10.1 & omake-0.9.8.5, but does not build with OCaml
3.10.0
| Changes | Path(relative to metaprl-branches/ocaml-3.10.0) |
| +1 -0 | editor/ml/OMakefile |
| +1 -1 | mk/defaults |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2010-10-17 16:22:30 -0700 (Sun, 17 Oct 2010)
Revision: 13195
Log message:
Fixing a parsing error (some constants, like () are a Uid, not Lid).
| Changes | Path(relative to metaprl-branches/ocaml-3.10.0/support/shell) |
| +5 -1 | mptop.ml |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2010-10-17 21:13:09 -0700 (Sun, 17 Oct 2010)
Revision: 13196
Log message:
Bugfix.
| Changes | Path(relative to metaprl-branches/ocaml-3.10.0/filter/base) |
| +1 -1 | infix-src.ml |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2010-10-18 10:42:15 -0700 (Mon, 18 Oct 2010)
Revision: 13197
Log message:
This branch compiles, but many things break in weird ways, so marking it
accordingly.
| Changes | Path(relative to metaprl-branches/ocaml-3.10.0/support/editor) |
| +1 -1 | make_mp_version.ml |