[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" |
 ---------------------------------------------