问如何修复ACL2帐簿完整性检查失败？
EN

Stack Overflow用户

提问于 2015-08-12 03:34:46

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

在ACL2图书目录中，每当我尝试构建或清理图书时，都会收到一条错误消息，如下所示：

GNUmakefile:299: *** Books Sanity Check Failed. Stop.

如何避免出现此错误消息？

发布于 2015-08-12 03:34:46

出现此错误的原因是makefile现在会检查acl2 make是否认为您正在使用的目录与您当前所在的目录相同。解决方案是告诉make使用当前目录中的acl2。您可以通过将ACL2作为参数传递给make来实现此目的，例如：

make ACL2=~/sw/acl2-extra/saved_acl2 clean

票数 0

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

原文链接：

https://stackoverflow.com/questions/31950429

复制

相似问题

问如何修复ACL2帐簿完整性检查失败？EN