#!/bin/bash

export ACL2_SYSTEM_BOOKS=/usr/share/acl2-8.6+dfsg/books
exec /usr/lib/acl2-8.6+dfsg/saved_acl2 -dir /usr/share/acl2-8.6+dfsg
