#! /bin/bash

sudo cp urn_acl2.lisp /usr/share/acl2-7.1/books/urn.lisp

sudo cp $(dirname "$BASH_SOURCE")/urn_acl2_interpreter /usr/bin/

sudo cp $(dirname "$BASH_SOURCE")/urn_acl2 /usr/share/binfmts/
sudo update-binfmts --import