#!/bin/sh
# @generated by Idris 0.7.0-55c2cd32e, Chez backend

set -e # exit on any error

if [ "$(uname)" = Darwin ]; then
  DIR=$(zsh -c 'printf %s "$0:A:h"' "$0")
else
  DIR=$(dirname "$(readlink -f -- "$0")")
fi
DIR=$DIR/../libexec
export LD_LIBRARY_PATH="$DIR/idris2_app:$LD_LIBRARY_PATH"
export DYLD_LIBRARY_PATH="$DIR/idris2_app:$DYLD_LIBRARY_PATH"
export IDRIS2_INC_SRC="$DIR/idris2_app"

"$DIR/idris2_app/idris2.so" "$@"
