WINDOWS
- Scaricare OCaml direttamente da QUI.
- Una volta scaricato, installate il programma. Durante l'installazione vi verrà richiesto se installare altre componenti, come lo stesso Emacs: lasciamo segnato solo quello, disabilitando gli altriCompletare l'installazione.
Come avete potuto notare, non serve l'installazione di XEmacs, poiché nella versione per Windows, OCaml permette di installarlo insieme a OCaml. Ricordatevi solo che Emacs si trova nel menu Start nella cartella di OCaml.
LINUX (UBUNTU)
- Aprite il terminale e digitate:
sudo gedit /etc/apt/sources.list
- Come nell'immagine sopra, vi si aprirà l'editor di testo. Andiamo a inserire in fondo alla pagina dell'editor questa riga:
deb http://ftp.it.debian.org/debian/ squeeze main
Salvate e chiudete l'editor di testo. Questa operazione può essere fatta anche aggiungendo il tutto dall'Ubuntu Software Center nella sezione Sorgenti. - Sempre da terminale, scrivete:
sudo apt-get update
- Andate su Gestore pacchetti e digitate OCaml:
Installate il pacchetto selezionato nella figura. - Una volta installato, chiudete il Gestore Pacchetti e riaprite il terminale digitando:sudo apt-get install emacs
- Dopo aver confermato il tutto (vi verrà chiesto di confermare con un Si alcune operazioni), riaprite per l'ultima volta il terminale e digitate:
sudo apt-get install ocaml-mode
Sia per Windows che per Ubuntu, dobbiamo aprire Emacs e andare su Open (o apri) e aprire il nostro file in formato .ml. Per compilarlo bisogna andare nella barra degli strumenti in alto e cliccare su Caml -> Start Subshell per compilare il file. Una volta fatto questo comparirà una porzione di finestra dove verranno digitati i comandi da eseguire.
PS: ringrazio gli amici di OverTheWebs per lo spunto e l'aiuto fornito nella parte di installazione su Linux.











1 commento:
Ti consiglio di non fare casini con sources.list.
Non è assolutamente una buona idea fare usare i repository di debian ad ubuntu. Io sono riuscito ad installare sia emacs che ocaml-mode correttamente usando ubuntu 12.04. Se proprio non ce la fai con ubuntu, al limite scaricati i singoli pacchetti dai repository debian e installa quelli.
Posta un commento