#!/bin/sh echo Welcome to the ISE Eiffel 5 installer ERROR_ENV="" if [ ! "$ISE_EIFFEL" ]; then echo "The environment variable ISE_EIFFEL should be set to the directory where ISE Eiffel 5 is installed (typically the current directory: `pwd`)" ERROR_ENV=TRUE fi if [ ! "$ISE_PLATFORM" ]; then echo The environment variable ISE_PLATFORM should be set to one of these values, depending on your platform: echo linux-glibc2.1, linux-glibc, sgi, sgi-64, solaris, solaris-2.5+, alpha or unixware. ERROR_ENV=TRUE fi if [ "ERROR_ENV" = "TRUE" ]; then echo "When the needed environment variable(s) are set, launch $0 again." exit fi echo "Do you want to precompile EiffelBase (required to compile examples) ? [y/n]" read prec_base echo "Do you want to precompile EiffelVision2 (might take a while) ? [y/n]" read prec_vision2 INIT_DIR=`pwd` if [ "$prec_base" != "n" ]; then echo Precompile EiffelBase cd $ISE_EIFFEL/precomp/spec/$ISE_PLATFORM/base rm -rf EIFGEN $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin/ec -precompile -ace Ace.ace -c_compile fi if [ "$prec_vision2" = "y" ]; then echo Precompile EiffelVision2 cd $ISE_EIFFEL/precomp/spec/$ISE_PLATFORM/vision2 rm -rf EIFGEN $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin/ec -precompile -ace Ace.ace -c_compile fi cd $INIT_DIR