#!/bin/sh

export koka_datadir=/usr/local/share/koka

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