#!/bin/sh

export cryptol_datadir=/usr/local/share/cryptol

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