hollalinux
/
slackbuilds
mirror of https://github.com/SlackBuildsOrg/slackbuilds.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
slackbuilds/academic/acl2/acl2

5 lines
77 B
Bash
Executable File
Raw Permalink Blame History

#!/bin/sh
export ACL2_SYSTEM_BOOKS=/opt/acl2/books/
/opt/acl2/saved_acl2 $@
Reference in New Issue View Git Blame Copy Permalink