En première année de licence à l'université Paul Sabatier, on apprend le langage Caml. Comme il existe deux implémentations de ce langage, qui ne sont bien sûr pas tout à fait compatibles entre-elles, on utilise la moins performante des deux, à savoir Caml light, qui à la différence d'Ocaml ne permet pas de faire de la POO.
Malheureusement, les dépôts Ubuntu ne proposent que Ocaml. Pour Caml light, il faut normalement télécharger les sources sur le site officiel de Caml, et les compiler. Pour simplifier la tâche à ceux que ça intéresse, j'ai fait un petit paquet pour les architectures i386. Attention ! Ce paquet ne demande aucune dépendance, cependant, vu les besoins de Caml light, vous avez probablement déjà tout sur votre ordinateur. Si vous avez un problème, les commentaires sont là pour ça.
Le paquet : caml-light_0.75-1_i386.deb (800 ko).
Commentaires
Salut, merci bien, justement, en prépa maths on en a besoin, je le prends donc.
Installation facile à l'aide du gestionnaire de paquets.
Mais ya pas de raccourci, ou est-il fourré?
@++
Content de savoir que le paquet est utile !
Il n'y a pas d'interface graphique (et vu celle pour Windows, c'est franchement pas plus mal), donc pas de lien dans les menus.
Pour accéder au mode interactif, lance
camllight
dans un terminal.La commande du compilateur est
camlc
(utiliseman camllight
ouman camlc
pour en savoir plus).Merci beaucoup ...
Merci bien, je suis moi même à l'UPS et ça va m'être utile
De rien, ravi que ça serve !
J'ai fait des paquets intégrant les librairies (graphics et autres) de caml-light version 0.77-rc1 pour Ubuntu i386 et amd64.
Paquet camllight sur
deb http://boisson.homeip.net/ubuntu feitsy ./
(remplacer feitsy par edgy, dapper, gutsy, .. selon besoin).
La version amd64 est en 64 bits ce qui est intéressant.
François Boisson
C'est très intéressant, surtout que je ne programme plus en Caml, et que je n'ai pas envie de mettre à jour mon paquet. Alors un dépôt pluri-architercture, c'est autrement plus utile pour des utilisateurs de Caml !
Cependant, mon apt-get n'aime pas trop ta ligne de dépôt :