. ~/dev/eiffel/etc/env.rc

export ISE_EIFFEL=~/dev/eiffel/15.05
export ISE_LIBRARY=$ISE_EIFFEL
export PATH=$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin:$PATH
export PATH=$ISE_EIFFEL/tools/spec/$ISE_PLATFORM/bin:$PATH
export PATH=$ISE_EIFFEL/library/gobo/spec/$ISE_PLATFORM/bin:$PATH