wiki:IstruzioniEiffel

Version 3 (modified by Mattia Monga, 7 years ago) ( diff )

--

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

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

In ambiente Mac OS

  1. 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

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

Note: See TracWiki for help on using the wiki.