#!/bin/bash -e if [ $# -gt 0 ]; then NAME="$1" shift else NAME="$(basename "$(pwd)")" fi VERSION="$(cat ./*.cabal | grep -e '^version' | grep -o -e '[0-9.]*')" PROGRAM="$(find dist-newstyle -type f -executable -name "$NAME" | grep -e "${VERSION}" | head -n 1)" if [ ! "${PROGRAM}" = "" ]; then exec "${PROGRAM}" "$@" else echo "cannot find executable: ${NAME}-${VERSION}" >&2 exit 99 fi