#!/bin/sh

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

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