在構建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版本與當前用於讀取緩存的版本之間不兼容的症狀。