Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-05-16 16:12:45 -0700 (Thu, 16 May 2002)
Revision: 3650
Log message:
Correcting hard-coded paths in the Conscript files which prevent successful
compilation of MetaPRL for those of us with nonstandard ocaml installs. The
paths are currently stored in the top-level Conscript in MCC, and are auto-
detected by the configure script there.