diff options
Diffstat (limited to 'estudio.profile')
| -rw-r--r-- | estudio.profile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/estudio.profile b/estudio.profile new file mode 100644 index 000000000000..41cac83787d1 --- /dev/null +++ b/estudio.profile @@ -0,0 +1,5 @@ +#! /usr/bin/sh + +export ISE_EIFFEL=/opt/estudio +export ISE_PLATFORM=@ARCH@ +export PATH="$PATH:${ISE_EIFFEL}/studio/spec/${ISE_PLATFORM}/bin" |