[acl2/acl2] 5ae77d: [books/GNUmakefile] Make it an error when a book n...

[Eric W. Smith]

Branch: refs/heads/r-and-non-r
Home: https://github.com/acl2/acl2
Commit: 5ae77decda4dbd607acb1dc5e36d4fe849fdf16f
https://github.com/acl2/acl2/commit/5ae77decda4dbd607acb1dc5e36d4fe849fdf16f
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-26 (Thu, 26 Mar 2026)

Changed paths:
M books/GNUmakefile

Log Message:
-----------
[books/GNUmakefile] Make it an error when a book needs ACL2(r) but also needs non-ACL2(r).



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Eric W. Smith]

Branch: refs/heads/testing-kestrel

Home: https://github.com/acl2/acl2
Commit: 5ae77decda4dbd607acb1dc5e36d4fe849fdf16f
https://github.com/acl2/acl2/commit/5ae77decda4dbd607acb1dc5e36d4fe849fdf16f
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-26 (Thu, 26 Mar 2026)

Changed paths:
M books/GNUmakefile

Log Message:
-----------
[books/GNUmakefile] Make it an error when a book needs ACL2(r) but also needs non-ACL2(r).

Commit: 6fa0efd89ddbd4c46de13c505d01da00f8b5c519
https://github.com/acl2/acl2/commit/6fa0efd89ddbd4c46de13c505d01da00f8b5c519
Author: Eric W. Smith <48038799+eri...@users.noreply.github.com>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/GNUmakefile

Log Message:
-----------

Merge pull request #1923 from acl2/r-and-non-r

[books/GNUmakefile] Make it an error when a book needs ACL2(r) but also needs non-ACL2(r).

Compare: https://github.com/acl2/acl2/compare/0a69673439f5...6fa0efd89ddb

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 5ae77decda4dbd607acb1dc5e36d4fe849fdf16f
https://github.com/acl2/acl2/commit/5ae77decda4dbd607acb1dc5e36d4fe849fdf16f
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-26 (Thu, 26 Mar 2026)

Changed paths:
M books/GNUmakefile

Log Message:
-----------
[books/GNUmakefile] Make it an error when a book needs ACL2(r) but also needs non-ACL2(r).


Commit: 6fa0efd89ddbd4c46de13c505d01da00f8b5c519
https://github.com/acl2/acl2/commit/6fa0efd89ddbd4c46de13c505d01da00f8b5c519
Author: Eric W. Smith <48038799+eri...@users.noreply.github.com>
Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/GNUmakefile

Log Message:
-----------
Merge pull request #1923 from acl2/r-and-non-r

[books/GNUmakefile] Make it an error when a book needs ACL2(r) but also needs non-ACL2(r).

Commit: 4f6f644f7501104e0f02c3d544ec0fb74af15a3d
https://github.com/acl2/acl2/commit/4f6f644f7501104e0f02c3d544ec0fb74af15a3d
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-03-27 (Fri, 27 Mar 2026)

Changed paths:
M books/GNUmakefile

Log Message:
-----------

Merge commit '6fa0efd89ddbd4c46de13c505d01da00f8b5c519' into HEAD


Compare: https://github.com/acl2/acl2/compare/e7228d909d64...4f6f644f7501

[acl2buildserver]

Branch: refs/heads/testing