#!/bin/sh # # GPS wrapper written by John Marino # It sets ADA_PROJECT_PATH in environment if unset # It also adds the path to the default Ada toolchain if not already present # VIAS=$(echo ${PATH} | /usr/bin/tr ":" " ") if [ -z "${ADA_PROJECT_PATH}" ] then ADA_PROJECT_PATH=%%PREFIX%%/lib/gnat export ADA_PROJECT_PATH fi FOUND=0 for via in ${VIAS} do [ "${via}" = "%%ADA_PATH%%" ] && FOUND=1; done; if [ ${FOUND} -eq 0 ] then PATH=${PATH}:%%ADA_PATH%% export PATH; fi exec "%%PREFIX%%/bin/gps_exe" "$@"