Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
caml_light [Le 31/08/2022, 23:32] moths-art Passage de http à https sur les liens externes (détecté et corrigé via le bot wiki-corrector (https://forum.ubuntu-fr.org/viewtopic.php?id=2067892) |
caml_light [Le 21/09/2022, 22:24] (Version actuelle) 46.193.6.164 [Installation] |
||
|---|---|---|---|
| Ligne 22: | Ligne 22: | ||
| À partir de la version 0.82-4 (nécessaire pour trusty), le passage à emacs24 a rendu nécessaire le mode tuareg d'ocaml et donc l'installation de ce mode dans une version dédiée fournie par le paquet [[http://boisson.homeip.net/depot/pool/trusty/amd64/camltuareg-mode_2.0.6-3_all.deb|camltuareg-mode]] (pour donc camllight version 0.82-4 et plus) | À partir de la version 0.82-4 (nécessaire pour trusty), le passage à emacs24 a rendu nécessaire le mode tuareg d'ocaml et donc l'installation de ce mode dans une version dédiée fournie par le paquet [[http://boisson.homeip.net/depot/pool/trusty/amd64/camltuareg-mode_2.0.6-3_all.deb|camltuareg-mode]] (pour donc camllight version 0.82-4 et plus) | ||
| - | Il peuvent aussi s'installer par apt-get via le dépôt suivant: | + | Il peuvent aussi s'installer par apt-get via le dépôt suivand: |
| <file>deb http://boisson.homeip.net/depot/ trusty divers</file> | <file>deb http://boisson.homeip.net/depot/ trusty divers</file> | ||
| **NB :** Remplacez "trusty", par la version que vous utilisez. | **NB :** Remplacez "trusty", par la version que vous utilisez. | ||
| - | __La signature du dépot s'obtient par__ | + | __La signature du dépot s'obtient par__ |
| <code>gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF</code> | <code>gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF</code> | ||
| qui récupère la clef sur le serveur de clef et : | qui récupère la clef sur le serveur de clef et : | ||
| Ligne 41: | Ligne 41: | ||
| <note>Si vous avez fait des installations foireuses de CaML Light précédemment, il se peut que vous devez soit remplacer camllight par /usr/bin/camllight, soit simplement supprimer /usr/local/bin/camllight.</note> | <note>Si vous avez fait des installations foireuses de CaML Light précédemment, il se peut que vous devez soit remplacer camllight par /usr/bin/camllight, soit simplement supprimer /usr/local/bin/camllight.</note> | ||
| - | Une fois lancé, il faut commencer par : | + | Une fois lancé, il faut commencer par : |
| <code>load_object "graphics";;</code> | <code>load_object "graphics";;</code> | ||
| Ligne 47: | Ligne 47: | ||
| <code>#open "graphics";;</code> | <code>#open "graphics";;</code> | ||
| - | autre particularité pour lancer une fenêtre il faut désormais taper : | + | autre particularité pour lancer une fenêtre il faut désormais taper : |
| <code>open_graph " 800x600";;</code> | <code>open_graph " 800x600";;</code> | ||
| Ligne 120: | Ligne 120: | ||
| Pour faire des programmes avec caml light, on peut aussi utiliser [[emacs]]. Le mode tuareg est installé en même temps que le paquet emacs dans une version adaptée à camllight. emacs appelle par défaut «camllight camlgraph» ou «camllight caml_all» lors de l'évaluation de la première phrase caml par Ctrl-c Ctrl-b ou Ctrl-x Ctrl-e. Le premier permet d'avoir la librairie graphique, caml_all permet d'avoir toutes les librairies usuelles accessibles. | Pour faire des programmes avec caml light, on peut aussi utiliser [[emacs]]. Le mode tuareg est installé en même temps que le paquet emacs dans une version adaptée à camllight. emacs appelle par défaut «camllight camlgraph» ou «camllight caml_all» lors de l'évaluation de la première phrase caml par Ctrl-c Ctrl-b ou Ctrl-x Ctrl-e. Le premier permet d'avoir la librairie graphique, caml_all permet d'avoir toutes les librairies usuelles accessibles. | ||
| - | Tuareg peut s'installer à part dans sa forme originale mais théoriquement c'est inutile si on utilise les paquets camllight sauf depuis trusty où le paquet camltuareg-mode est indispensable. | + | Tuareg peut s'installer à part dans sa forme originale mais théoriquement c'est inutile si on utilise les paquets camllight sauf depuis trusty où le paquet camltuareg-mode est indispensable. |
| Pour installer tuareg, il y a trois méthodes : | Pour installer tuareg, il y a trois méthodes : | ||
| Ligne 132: | Ligne 132: | ||
| Pour l'utiliser il suffit d'éditer un fichier avec l'extension .ml ou bien de faire Alt+x puis | Pour l'utiliser il suffit d'éditer un fichier avec l'extension .ml ou bien de faire Alt+x puis | ||
| '' camltuareg-mode '' | '' camltuareg-mode '' | ||
| - | Emacs se mettra en mode caml. Il L'évaluation du buffer se fait par Ctrl-c, Ctrl-b. L'évaluation de la fonction/expression sur laquelle est le curseur se fait par Ctrl-x, Ctrl-e. | + | Emacs se mettra en mode caml. Il L'évaluation du buffer se fait par Ctrl-c, Ctrl-b. L'évaluation de la fonction/expression sur laquelle est le curseur se fait par Ctrl-x, Ctrl-e. |
| * Deuxième méthode: utilisation du mode tuareg original. | * Deuxième méthode: utilisation du mode tuareg original. | ||