1 2 3 4 5
#! /usr/bin/sh export ISE_EIFFEL=/opt/eiffel-studio export ISE_PLATFORM=@ARCH@ export PATH="$PATH:${ISE_EIFFEL}/studio/spec/${ISE_PLATFORM}/bin"