HTF-0.14.0.5: scripts/local-htfpp
#!/bin/bash
TOP=$(cd $(dirname ${BASH_SOURCE[0]})/.. > /dev/null && pwd -P)
dist=$(stack $HTF_TRAVIS_STACK_ARGS path --dist-dir 2> /dev/null)
find=find
if [ "$(uname)" == "Darwin" ]; then
find=gfind
fi
function find_bin()
{
local d="$TOP/$dist"
if [ ! -d "$d" ]; then
d="$(dirname $d)"
fi
bin=$($find "$d" -name htfpp -type f -executable -printf "%T+\t%p\n" | sort -r | head -1 | gawk '{print $2}')
}
find_bin
if [ -z "$bin" ]; then
echo "TOP=$TOP" >&2
echo "dist=$dist" >&2
echo "bin=$bin" >&2
echo "No executable named htfpp found in $TOP/$dist. Aborting!" >&2
exit 1
fi
"$bin" "$@"