#!/bin/sh

if [ -z "$ESTEREL" ] ; then
	ESTEREL=$(dirname $(dirname $(realpath $0)))
fi

export ESTEREL

$(dirname $0)/esterel.exe "$@"
