Installation de Caml

NB : Cette page est conservée pour mémoire mais n'a plus vraiment d'intérêt. Pour les concours des CPGE, à partir de l'édition 2019, Caml-Light cède en effet la place à OCaml, pour lequel vous trouverez des explications ici. Après la sortie de Caml Special Light en 1995 (une récriture complète du code qui donna naissance à Objective Caml rebaptisé ensuite OCaml), Caml-Light n'a plus évolué mais a survécu plus de 20 ans. C'est dire la qualité du code initial et le travail de ceux qui ont continué à l'adapter aux évolutions des machines et des systèmes d'exploitation alors que la dernière version officielle remontait à mai 2002 ! Merci à eux. Merci enfin à l'INRIA d'avoir accepter de publier ce code sous forme de logiciel libre, sans quoi une telle pérennité aurait été impossible.

Sous Linux, à partir des sources

Logiciel à installer au préalable : git, le compilateur C gcc, et la version de développement de la bibliothèque X11 (fournis avec toute distribution Linux qui se respecte, par exemple sous les noms respectifs git, gcc, et libx11-dev). Principe:
  1. On compile camllight à partir des sources de Caml-Light, dans la version maintenue par François Boisson.
  2. Tous les fichiers seront installés dans /opt/camllight. S'il existait une installation précédente à cet endroit, elle sera écrasée.
  3. Le système cherche les programmes exécutables dans certains répertoires fixés, dont /usr/local/bin. On va donc créer dans ce répertoire un lien vers l'exécutable camllight situé dans /opt/camllight/usr/local/bin. Il convient également de créer des liens pour que le système puisse trouver les pages de manuels de Caml. Tout cela peut se faire automagiquement avec quelques commandes bien senties.
Cette méthode présente l'avantage de pouvoir voir clairement ce qui a été installé pour camllight et de pouvoir désinstaller très facilement quelle que soit la distribution linux utilisée : il suffit d'effacer le répertoire /usr/local/stow/camllight puis de demander à stow de supprimer tous les liens qui pointaient dans ce répertoire. Cette méthode est mise en œuvre dans ce script installationcaml.sh. Pour l'utiliser : le télécharger, puis l'exécuter depuis un terminal en tant que root (pour cela ou bien passer root par la commande «su» et le lancer avec la commande «sh -e ./installationcaml.sh» ou tout simplement lancer «sudo sh -e ./installationcaml.sh»). Caml-Light étant tout petit au vu des standards actuels, la compilation et l'installation ne durent qu'une dizaine de secondes sur mon ordinateur (ça peut être un peu plus sur le vôtre).

WinCaml: sous GNU/Linux, Mac OS X ou MS-Windows

Une autre possibilité est proposée par un collègue.

Judicaël Courant

Valid HTML 4.01 Strict