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 mmonga/docker-eiffel

In ambiente Linux

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

In ambiente Mac OS

3. se non già presente, installare docker : brew cask install docker
4. se non già presente, installare xquartz: brew cask install xquartz
5. cambiare preferenze xquartz permettendo le connessioni da client network, chiuderlo e farlo ripartire
6. xhost + dall'xterm che appare al lancio di xquartz

export DISPLAY=host.docker.internal:0
docker run -ti --rm -e DISPLAY=$DISPLAY -v $(pwd):/home/eiffel mmonga/eiffel

In ambiente Windows

La procedura è probabilmente (è un sistema che non ho la possibilità di provare) simile a quella Mac OS: anche in questo caso serve un server X, p.es. ​MobaXterm