#!/bin/sh
export ACL2_SYSTEM_BOOKS=/opt/local/share/acl2/8.3/books
sbcl --core /opt/local/share/acl2/8.3/saved_acl2.core --userinit /dev/null --eval '(acl2::sbcl-restart)'

