COMMAND-LINE.html -- ACL2 Version 6.3

## COMMAND-LINE

handling of command-line arguments when ACL2 is invoked

    Major Section:  OTHER

You may provide command-line arguments when invoking ACL2, which are passed to the host Lisp. For more information on this topic, along with a discussion of how to save an ACL2 executable that avoids passing command-line arguments to the host Lisp, see save-exec.

## Some Related Topics

- ### SAVE-EXEC -- save an executable image and a wrapper script