La distribution de Caml Light

La version actuelle est la 0.7, disponible depuis Juillet 1995.
La sous-version actuelle est la 0.75, distribuée depuis janvier 2002.

Le site maître de la distribution est ftp.inria.fr, dans le répertoire INRIA/caml-light.
Les sites miroirs sont donnés ici.
Les fichiers disponibles sont présentés ci-dessous.

Le bazar de Caml Light

Il s'agit de bibliothèques pour Caml Light, développées et maintenues par les équipes de l'INRIA.

Pour les machines Unix:

Code source pour les machines Unix (avec un compilateur d'auto-génération).
Ces sources se compilent sans modification sur la pluspart des machines Unix modernes. La distribution comprend en outre nombre de contributions des utilisateurs, d'outils et de bibliothèques.

Extraire avec gunzip puis tar xf.

Des exécutables binaires précompilés dela version 0.74 (RPMS) sont disponibles pour Linux Red Hat (processeurs Intel):
Exécutables binaires compilés pour Mac OS X:
voir ci-dessous, dans la section "Pour le Macintosh"

Le compilateur Caml produisant du code natif Camlot
Camlot est un compilateur de haute performance qui produit du code machine pour Caml, en utilisant C comme langage intermédiaire. Les programmes obtenus s'éxécutent beaucoup plus vite que lorsqu'on les compile avec le compilateur de byte-code du système Caml Light. (Pas encore compatible avec la version 0.74.)

Pour utiliser ce compilateur, vous devez disposer d'un compilateur C ANSI, de préférence GCC. Pour installer ce nouveau compilateur, vous devez déjà avoir installé le compilateur normal du système Caml Light et l'utilitaire make de GNU. Camlot est très facilement portable sur n'importe quelle machine 32-bit.

Extraire avec gunzip puis tar xf.

Le compilateur Caml produisant du code natif Bigloo
Bigloo est un compilateur optimisant pour Scheme et Caml qui produit du code natif. La compatibilité avec l'implémentation byte-codée est presque parfaite. Les performances du code généré sont comparables à celles des meilleurs compilateurs ML. Bigloo est aussi l'un des compilateur Scheme les plus performants sur le marché.

Bigloo est disponible pour les machines Unix suivantes: Decstations 3000 et 5000, Sparcstations, PCs sous Linux, HP PA 730 et Sony News R3000.

Ce compilateur est décrit dans le rapport INRIA 2301. (Pas encore compatible avec la version 0.71.)

Extraire avec gunzip puis tar xf.

Pour le Macintosh:

Binaires pour Mac OS X (10.3)
Cette version tourne sous Mac OS X version 10.3 ou plus, avec X11 et les outils Xcode tools installés.

Transférer en mode binaire pour obtenir un package d'installation standard.

Binaires pour la version Macintosh.
Cette version tourne sur tout Macintosh avec au moins 2M de RAM et les Systèmes 6 ou 7. Ce sont des gros binaires (``fat binaries''): ils tournent dans le mode natif sur le Power Mac.

Transférer en MacBinary pour obtenir une archive auto-extractible pour ``Compactor''.

Code source pour la version Macintosh.
Non nécessaire pour utiliser Caml Light. Ne transférez cette archive que si vous voulez lire le code source, ou recompiler le système vous-même (il faut pour cela disposer de l'outil Macintosh Programmer's Workbench, version 3.3).

Transférer en MacBinary pour obtenir une archive auto-extractible pour ``Compactor''.

Documentation en ligne pour la version Macintosh.
Transférer en MacBinary pour obtenir une archive auto-extractible pour ``Compactor''.

Pour le PC sous Windows:

Binaires pour la version Windows.
Cette version tourne sous Windows 95, Windows NT, et Windows 3.1 pourvu que l'utilitaire de compatibilité Win32s soit installé.

Archive auto-extractible, auto-installable.

Documentation:

Foire aux questions de Caml Light: la FAQ en français.
Une introduction à la programmation en Caml (en anglais): Functional programming using Caml Light (fichier Postscript de 200k).
Manuel de référence: The Caml Light system, release 0.74; documentation and user's manual.