问在构建ACL2书籍时，我如何摆脱有关“幻数...”的错误？
EN

Stack Overflow用户

提问于 2014-09-03 05:08:53

回答 1查看 39关注 0票数 0

在为ACL2构建书籍时，我得到了以下错误。我该怎么摆脱它呢？

Magic number checking on storable file failed at ../../lib/Storable.pm (autosplit into ../../lib/auto/Storable/_retrieve.al) line 380, at /<elided>/sw/acl2/books/build/certlib.pl line 1850

perl

acl2

回答 1

Stack Overflow用户

发布于 2014-09-03 05:08:53

删除文件cert-pl-cache.tmp和build/Makefile-cache (如果存在)。

这是用于写入缓存的Perl版本与当前用于读取缓存的版本不兼容的症状。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/25632428

复制

相似问题

问在构建ACL2书籍时，我如何摆脱有关“幻数...”的错误？
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问在构建ACL2书籍时，我如何摆脱有关“幻数...”的错误？EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问在构建ACL2书籍时，我如何摆脱有关“幻数...”的错误？
EN