home *** CD-ROM | disk | FTP | other *** search
/ ftp.disi.unige.it / 2015-02-11.ftp.disi.unige.it.tar / ftp.disi.unige.it / pub / common / SML / 107-ISTRUZIONI < prev    next >
Text File  |  1995-05-01  |  1KB  |  29 lines
  1. ATTENZIONE. (Istruzioni per Linux a cura di Luca Landi).
  2.  
  3. Per installare ML nel vostro sistema (per utenti normali/casalinghi)
  4. e' sufficiente seguire i seguenti passi:
  5.  
  6. - Collegarsi come root
  7. - Portarsi nella radice principale del sistema con: cd /
  8. - copiare il file smlnj107.tar.gz in tale posizione.
  9. - eseguire: tar zxvf smlnj107.tar.gz
  10.   A questo punto verranno scompressati nelle posizioni corrette
  11.   i files necessari a sml.
  12.  
  13. Per eseguire ML e' sufficiente portarsi nella directory:
  14.   /usr/local/sml/
  15. e digitare sml.
  16. Attenzione sml occopa 5,5 Mbyte di ram, quindi e' obbligatorio 
  17. l'uso di uno swap file della memoria virtuale, in particolare
  18. e' consigliato avere un totale di 12Mbyte ram fisica/virtuale.
  19. Per lavorare sotto X11 sono consigliati un minimo di 8Mbyte Fisici
  20. e 8Mbyte virtuali ottenendo prestazioni soddisfacenti.
  21.  
  22. Esistono per chi e' interessato le versioni di yacc e lex per sml.
  23.  
  24. Per uteriori informazioni ci si puo' riferire a:
  25.  
  26.     landi@disi.unige.it
  27.  
  28. N.B.: Per l'installazione e' necessario solo il file smlnj107.tar.gz
  29.