Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-12 10:46:16 -0800 (Fri, 12 Jan 2007)
Revision: 9942
Log message:
Bug 574 was apparently fixed, so now we can use the "find" function in the
"realclean" rule.
Changes | Path |
+1 -4 | metaprl/OMakefile_common |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-15 14:24:49 -0800 (Mon, 15 Jan 2007)
Revision: 9955
Log message:
(Bug 629) Use OCAML_CLIBS instead of LIBS, where appropriate.
Changes | Path |
+1 -1 | metaprl/proxyedit/OMakefile |
+1 -1 | metaprl/tactics/ensemble/OMakefile |