[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: plt/install failed 200alpha5
Francisco Solsona wrote:
> I got a fresh copy of the PLT software last night, and everything
> compiles OK, except for the last step (plt/install), there seems to be
> missing some files in:
>
> $PLTHOME/collects/version/private
What happens when you run
cvs update -r exp
in that directory? What files do you have there?
-- Paul
----------------------------------------------
| Paul Steckler |
| steck@ccs.neu.edu |
| "I'm the type-checker; I'm here to help you" |
---------------------------------------------