Installation de Caml Light

Publié: 2014-02-11 05:00 | Plus de billets sur info |

Voici comment installer Caml Light sous GNU/Linux. Le plus long est de lire toute cette page. Mais en fait, en résumé, il suffit probablement de taper dans un terminal les commandes:

cd le-repertoire-qui-va-bien
git clone https://github.com/FBoisson/Camllight
cd Camllight/src
make configure
make world
sudo make install

Voici un peu plus de détails. Cette installation est décrite à partir des sources, c'est-à-dire que vous allez télécharger le code de Caml, le compiler pour le transformer en un logiciel exécutable et l'installer ensuite à un endroit où il pourra être utilisé par tous les utilisateurs de votre système. Vous aurez ensuite les sources sous la main et serez en mesure de les consulter si vous voulez regarder comment Caml est écrit.

Chercher dans le gestionnaire de paquets logiciels les logiciels suivants et les installer :
- emacs (l'éditeur de texte)
- tuareg-mode (un mode emacs pour éditer du Caml)
- gcc (le compilateur C)
- make (outil pour lancer la construction d'un projet)
- git (un outil de contrôle de versions pour gérer les sources d'un logiciel)
Lancer un terminal. Se déplacer au besoin dans le répertoire où vous compter installer les sources de Caml avec les commandes cd (change directory) qui permet de changer de répertoire, pwd (print working directory) qui affiche le répertoire courant et ls (list) qui affiche le contenu d'un répertoire. Puis :
- récupérer les sources de Caml Light avec la commande:
```
git clone https://github.com/FBoisson/Camllight
```
- un répertoire Camllight doit avoir été créé (ls pour le vérifier). Descendre dans le sous-répertoire src de ce répertoire:
```
cd Camllight/src
```
- lancer la phase de détection de la configuration:
```
make configure
```
  Vous verrez que Caml affiche un certain nombre de résultats de tests (qui terminent avec «strerror() found.»).
- lancer la compilation:
```
make world
```
  Le processus de compilation affiche un certain nombre de lignes et se termine par:
```
#- : int = 3
#fib : int -> int = <fun>
#- : int = 10946
#Is that 10946 on the line above? Good.
The Caml Light system is up and running.
```
- il ne reste plus qu'à installer les programmes exécutables produits dans un répertoire où ils pourront être trouvés par le système. Pour cela, il convient de lancer la commande make install en tant que superutilisateur. Il y a deux méthodes existante. En général seule l'une des deux fonctionne. Celle à utiliser dépend de votre distribution. Si vous connaissez le mot de passe du superutilisateur (root) vous pouvez utiliser la première. Si vous êtes sous Ubuntu, vous utiliserez la seconde :
  - Connectez-vous en tant que superutilisateur en tapant:
```
su
```
    Le système vous demandera le mot de passe du superutilisateur (root). L'invite de votre terminal devrait ensuite passer de $ à #). Lancez alors:
```
make  install
```
    N'oubliez surtout pas de quitter le mode superutilisateur en tapant:
```
exit
```
  - Lancez la commande:
```
sudo make install
```
    (le système vous demandera votre mot de passe et il faut que vous ayez le droit de lancer une commande en tant que superutilisateur)
Testez que tout va bien :
- Dans un terminal, tapez
  
  camllight
  
  Vérifiez que vous pouvez calculer:
```
3+2;;
```
  Qui devrait vous répondre:
```
- : int = 5
```
  C'est signe que Caml Light est correctement installé.
  
  Quittez avec:
```
quit();;
```
- Lancez emacs, créez un nouveau fichier essai.ml, vérifiez qu'emacs est bien passé en mode tuareg. Vérifiez que vous pouvez calculer 3+2;;.

Happy coding!