Istruzioni per usare Eiffel sul proprio sistema

Prima possibilità: installazione nativa

1. Scaricare Eiffel Studio da ​https://www.eiffel.org/downloads
2. Seguire le ​istruzioni specifiche per il proprio sistema

Seconda possibilità: usare Docker

1. Occorre che sul proprio sistema sia installato e funzionante ​Docker
2. docker pull -t mmonga/eiffel

In ambiente Linux

3. docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix -v $(pwd):/home/eiffel mmonga/eiffel

In ambiente Mac OS

3. occorre avere installato un server X (p.es. ​XQuartz)

# il comando seguente serve per conoscere il numero IP della prima interfaccia
export MYIP=$(ifconfig en0 | grep inet | awk '$1=="inet" {print $2}')
export DISPLAY=$MYIP:0
xhost + $MYIP 
docker run -ti --rm -e DISPLAY=$DISPLAY -v $(pwd):/home/eiffel mmonga/eiffel