Summary

crunch doesn't add crunch.h to crunch.setup-info (chicken-uninstall doesn't remove crunch.h)

Metadata

• Id: 3ba0fe846cfb2216f77e2af46ebb10f99b86bb6e
• Trac id: 933
• Type: defect
• Reporter: mario
• Owner: felix
• Cc:
• Status: closed
• Component: extensions
• Estimated difficulty:
• Resolution: fixed
• Priority: major
• Milestone: someday
• Version: 4.8.x
• Changetime: 2012-10-14 14:01:42 UTC
• Created: 2012-10-11 17:01:36 UTC
• Keywords: crunch, chicken-uninstall

Attachments

• 3ba0fe846cfb2216f77e2af46ebb10f99b86bb6e/attachments/crunch.h-installed-by-install-extension.diff

Description

crunch.setup doesn't use install-extension to install crunch.h, so it doesn't get added to the .setup-info file. Thus, chicken-uninstall is not able to know about its existence.

The attached patch works for me, but maybe I'm overlooking something that justifies the extra tweak to install crunch.h (the version has not been bumped).

Changes and comments

[2012-10-11 17:01:50 UTC] mario attached crunch.h-installed-by-install-extension.diff (description=#f)

[2012-10-14 14:01:42 UTC] felix changed status from new to closed

[2012-10-14 14:01:42 UTC] felix set resolution to fixed

[2012-10-14 14:01:42 UTC] felix wrote:

Thanks a lot - patch has been applied and tagged 0.7.999.