Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-21 16:37:23 -0800 (Sat, 21 Jan 2006)
Revision: 8555
Log message:
Keep all the scripts in support/editor. All the scripts that are postentially
applicable will be installed and linked into editor/ml. Irrelevant scripts
(such as mprun when MPRUN_ENABLED is false and mpgossip when ENSROOT is
undefined) will be ignored.
Changes | Path |
+39 -0 | metaprl/OMakefile_theories |
+5 -9 | metaprl/editor/ml/OMakefile |
Deleted | metaprl/editor/ml/mpdebug |
Deleted | metaprl/editor/ml/mpdebug-top |
Deleted | metaprl/editor/ml/mpgossip |
Deleted | metaprl/editor/ml/mpkonsole |
Deleted | metaprl/editor/ml/mpkonsole-large |
Deleted | metaprl/editor/ml/mprun |
Deleted | metaprl/editor/ml/mpserver |
Deleted | metaprl/editor/ml/mpshell |
Deleted | metaprl/editor/ml/mpxterm |
Deleted | metaprl/editor/ml/mpxterm-large |
+1 -1 | metaprl/support/editor/OMakefile |
Copied | metaprl/support/editor/mpdebug |
Copied | metaprl/support/editor/mpdebug-top |
Copied | metaprl/support/editor/mpgossip |
Copied | metaprl/support/editor/mpkonsole |
Copied | metaprl/support/editor/mpkonsole-large |
Copied | metaprl/support/editor/mprun |
Copied | metaprl/support/editor/mpserver |
+4 -0 | metaprl/support/editor/mpserver |
Copied | metaprl/support/editor/mpshell |
Copied | metaprl/support/editor/mpxterm |
Copied | metaprl/support/editor/mpxterm-large |