PARALLELISM-BUILD
building an ACL2 executable with parallel evaluation enabled
Major Section:
PARALLELISM
See
compiling-acl2p
.