[curry] Re: Lots of problems with cypm

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 4 Apr 2019 13:03:37 +0200

Hi Andy,

I am sorry to hear about your problems. The error message is produced
by git, but it definitely should not occur. Maybe you can send me
the output produced by

> cypm -v debug update

so that I can look at it to find some reason.

Concerning cleaning a strange CPM state, you might have a look into
Sect. 11 of CPM's manual. The easiest thing is to remove all
CPM-relevant files by

> rm -rf .cpmrc $HOME/.cpm

and then try the update command. I hope this helps.

Best regards,

Michael

On 4/3/19 7:30 PM, Andy Jost wrote:
> I’ve had nothing but trouble with cypm.  It seems to be required for a
> certain package I want to use, but even the most basic commands fail, e.g.:
>
>  
>
> % cypm update
>
> fatal: destination path '.' already exists and is not an empty directory.
>
> CRITICAL  Failed to update git repository, return code 128
>
>  
>
> Others are able to build the package in question, so I’d like to start over.
>
>  
>
> I’d like to remove all traces of cypm and even Curry (pakcs, kics2) from
> my system (Ubuntu) and start from scratch.  How should I go about doing
> that?  Or are there other recommendations for how to approach this.
>
>  
>
> -Andy
>
>
> _______________________________________________
> curry mailing list -- curry_at_lists.rwth-aachen.de
> To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
> https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
>
_______________________________________________
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
Received on Do Apr 04 2019 - 13:04:29 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:14 CEST