summaryrefslogtreecommitdiffstats
path: root/academic/acl2/acl2
blob: 65892c9f9e9b06af380bab1e01b5b205f6fb9c87 (about) (plain) (blame)
1
2
3
4
#!/bin/sh

export ACL2_SYSTEM_BOOKS=/opt/acl2/books/
/opt/acl2/saved_acl2 $@