Saturday, March 9, 2013

First paper

Il mio primo articolo come coautore è finalmente online su Arxiv, qui: http://arxiv.org/abs/1302.5607
L'abbiamo inviato a ICALP, vedremo come andrà.

Thursday, March 7, 2013

Come installare EiffelStudio

Eiffel è un linguaggio di programmazione ad oggetti con la sua storia e i suoi pregi. Per caso ho cercato di installare  EiffelStudio (una IDE ufficiale per Eiffel,  sotto GPL) su Ubuntu 12.10, e riporto di seguito come ho fatto (ho seguito la guida ufficiale).
Nel mio caso si è trattato di Eiffel72 nella versione a 64 bit, per versioni successive sostituire tale nome nei comandi seguenti, e per architetture a 32 bit togliere il "-64" nel secondo comando "export" del punto 3 e nel percorso del punto 4.
Ecco la procedure:
  1. scaricare il pacchetto da https://www2.eiffel.com/download/download_info.aspx?id=eiffelstudio&info=false&mirrors=eiffelstudio dopo essersi registrati sul sito (se vi dà fastidio si trova su SourceForge); 
  2. spacchettare il pacchetto aprendo il terminale, andando nella cartella dove si trova il pacchetto, ed eseguendo
     tar xvfj Eiffel72_gpl_91169-linux-x86-64.tar.bz2 -C ~/  
    
  3. aprire il file ".bashrc" in un editor di testo, ad esempio digitando nel terminale
     gedit ~/.bashrc  
    
     ed incollare dunque alla fine del file le seguenti righe per aggiungere le necessarie variabili d'ambiente:
     #environment variables for EiffelStudio   
      export ISE_EIFFEL=~/Eiffel72   
      export ISE_PLATFORM=linux-x86-64    
      export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin   
    
  4. sloggarsi e riloggarsi nell'utente attuale;
  5. digitare nel terminale "estudio", ed EffelStudio si avvierà ;) 
  6. alla prima esecuzione, creando il primo progetto, chiede di compilare i precompilati. Scegliere "yes".