diff options
Diffstat (limited to 'academic/acl2/acl2')
-rwxr-xr-x | academic/acl2/acl2 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/academic/acl2/acl2 b/academic/acl2/acl2 new file mode 100755 index 0000000000..65892c9f9e --- /dev/null +++ b/academic/acl2/acl2 @@ -0,0 +1,4 @@ +#!/bin/sh + +export ACL2_SYSTEM_BOOKS=/opt/acl2/books/ +/opt/acl2/saved_acl2 $@ |