#! /bin/bash

sudo mkdir /usr/share/urn_idris/
sudo cp urn_idris_fix.idr /usr/share/urn_idris/fix.idr
sudo cp urn_idris.idr /usr/share/urn_idris/urn.idr

sudo cp $(dirname "$BASH_SOURCE")/urn_idris /usr/local/bin/
sudo cp $(dirname "$BASH_SOURCE")/urn_idris-interpreter /usr/local/bin/
sudo cp $(dirname "$BASH_SOURCE")/urn_idris-check /usr/local/bin/

(cd /usr/share/urn_idris/
 sudo urn_idris -i /usr/share/urn_idris/ --execute /usr/share/urn_idris/urn.idr)