Perl 在构建ACL2书籍时,如何消除关于“ACL2”的错误;幻数……”;

Perl 在构建ACL2书籍时,如何消除关于“ACL2”的错误;幻数……”;,perl,acl2,Perl,Acl2,在为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 在.././lib/storable.pm(自动拆

在为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
在.././lib/storable.pm(自动拆分为.././lib/auto/storable/_retrieve.al)第380行,位于//sw/acl2/books/build/certlib.pl第1850行的可存储文件上检查幻数失败

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

这表明用于写入缓存的Perl版本与当前用于读取缓存的Perl版本不兼容