• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
      • Theories
      • Rule-classes
      • Proof-builder
      • Hons-and-memoization
      • Events
      • History
      • Parallelism
        • Set-waterfall-parallelism
        • Parallel-programming
        • Set-waterfall-printing
        • Unsupported-parallelism-features
        • Set-total-parallelism-work-limit
        • Set-parallel-execution
        • Set-total-parallelism-work-limit-error
        • Compiling-ACL2p
        • Waterfall-parallelism-for-book-certification
        • Cpu-core-count
        • Set-waterfall-parallelism-hacks-enabled
        • Parallel-proof
        • Non-parallel-book
        • Parallel
        • Without-waterfall-parallelism
        • Set-waterfall-parallelism-hacks-enabled!
        • With-waterfall-parallelism
        • Parallelism-build
        • Programming
        • Start-here
        • Real
        • Debugging
        • Miscellaneous
        • Output-controls
        • Macros
        • Interfacing-tools
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Testing-utilities
      • Math
    • Parallelism

    Parallelism-build

    Building an ACL2 executable with parallel execution enabled

    See compiling-ACL2p.