acl2.install


1
2
3
4
5
6
7
8
9

post_install() {
    cd /opt/acl2
    make LISP=`which sbcl`
}

post_upgrade() {
    cd /opt/acl2
    make LISP=`which sbcl`
}