#! /usr/bin/sh

export ISE_EIFFEL=/opt/eiffel-studio
export ISE_PLATFORM=@ARCH@
export PATH="$PATH:${ISE_EIFFEL}/studio/spec/${ISE_PLATFORM}/bin"