perl - 构建 ACL2 书籍时，如何摆脱有关“幻数...”的错误

Question

为 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

Answer 1

删除文件cert-pl-cache.tmp以及build/Makefile-cache它们是否存在。

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