[acl2/acl2] 6a3379: build/features.sh: Improve SMTLink decision logic.

[Eric W. Smith]

Branch: refs/heads/smtlink-features
Home: https://github.com/acl2/acl2
Commit: 6a3379720910e02044a3506ddcc25539ca51e30d
https://github.com/acl2/acl2/commit/6a3379720910e02044a3506ddcc25539ca51e30d
Author: Eric Smith <ews...@gmail.com>
Date: 2025-11-12 (Wed, 12 Nov 2025)

Changed paths:
M books/build/features.sh

Log Message:
-----------
build/features.sh: Improve SMTLink decision logic.

This avoids an issue where 'python' is not available so SMTLink books are attempted but fail.



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