#!/bin/sh

export agda_datadir=/usr/local/share/Agda
export Agda_datadir=/usr/local/share/Agda

exec /usr/local/libexec/cabal/agda "$@"
