24 lines
621 B
Bash
Executable File
24 lines
621 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
${SUDO} halcompile --install userspace_count_names.comp
|
|
|
|
INSTALLED_FILE="${EMC2_HOME}/bin/userspace_count_names"
|
|
if [[ ! -f "${INSTALLED_FILE}" ]]; then
|
|
echo "'halcompile --install' did not install '${INSTALLED_FILE}'"
|
|
exit 1
|
|
fi
|
|
|
|
MODE=$(stat --printf '%#03a\n' "${INSTALLED_FILE}")
|
|
if [[ $((MODE & 0111)) == '0' ]]; then
|
|
echo "installed file '${INSTALLED_FILE}' has incorrect permissions"
|
|
echo "expected *some* execute bit, got ${MODE}"
|
|
exit 1
|
|
fi
|
|
|
|
for HAL in *.hal; do
|
|
echo "testing $HAL"
|
|
BASE=$(basename "$HAL" .hal)
|
|
halrun "$HAL" | tr ' ' '\n' >| "$BASE".result
|
|
done
|