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 14/08/2017, 11:29] L'Africain Nettoyage de la page |
caml_light [Le 21/09/2022, 22:24] (Version actuelle) 46.193.6.164 [Installation] |
||
|---|---|---|---|
| Ligne 16: | Ligne 16: | ||
| - | | ^ Trusty ^ Xenial ^ Zesty ^ | + | | ^ Xenial ^Bionic ^ |
| - | ^ 32 bits | [[http://boisson.homeip.net/depot/pool/trusty/i386/camllight_0.82-5_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/xenial/i386/camllight_0.82-6_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/zesty/i386/camllight_0.82-6.1_i386.deb | .deb ]]| | + | ^ 32 bits|[[http://boisson.homeip.net/depot/pool/xenial/i386/camllight_0.82-6_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/bionic/i386/camllight_0.82-6.1_i386.deb | .deb ]]| |
| - | ^ 64 bits | [[http://boisson.homeip.net/depot/pool/trusty/amd64/camllight_0.82-5_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/xenial/amd64/camllight_0.82-6_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/zesty/amd64/camllight_0.82-6.1_amd64.deb | .deb]]| | + | ^ 64 bits|[[http://boisson.homeip.net/depot/pool/xenial/amd64/camllight_0.82-6_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/bionic/amd64/camllight_0.82-6.1_amd64.deb | .deb ]]| |
| À 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 non signé suivant : FIXME | + | Il peuvent aussi s'installer par apt-get via le dépôt suivand: |
| - | <file>deb http://boisson.homeip.net/depot/ quantal divers</file> | + | <file>deb http://boisson.homeip.net/depot/ trusty divers</file> |
| + | **NB :** Remplacez "trusty", par la version que vous utilisez. | ||
| - | NB : Remplacez "quantal", par la version que vous utilisez. | + | __La signature du dépot s'obtient par__ |
| - | + | <code>gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF</code> | |
| - | __La signature s'obtient par__ | + | |
| - | <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 : | ||
| <code>gpg -a --export D78A5C23CEA8D8FF > /tmp/clef.txt</code> | <code>gpg -a --export D78A5C23CEA8D8FF > /tmp/clef.txt</code> | ||
| puis sous root : | puis sous root : | ||
| <code>apt-key add /tmp/clef.txt</code> | <code>apt-key add /tmp/clef.txt</code> | ||
| + | **NB :** **Remplacez** **D78A5C23CEA8D8FF**par **416D3F7C** pour les versions artful et plus. | ||
| ===== Utilisation avec la librairie "graphics"===== | ===== Utilisation avec la librairie "graphics"===== | ||
| Ligne 42: | 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 48: | 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 121: | 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 133: | 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. | ||
| Ligne 163: | Ligne 162: | ||
| ---- | ---- | ||
| - | http://caml.inria.fr/caml-light/release.fr.html | + | https://caml.inria.fr/caml-light/release.fr.html |
| ===== Problèmes connus ===== | ===== Problèmes connus ===== | ||
| Ligne 169: | Ligne 168: | ||
| Il est possible, sous Quantal (12.10) au moins, que l'installation révèle un bug du gestionnaire de sources de logiciels, software-properties-gtk, dû probablement à un plantage du module utf-8. | Il est possible, sous Quantal (12.10) au moins, que l'installation révèle un bug du gestionnaire de sources de logiciels, software-properties-gtk, dû probablement à un plantage du module utf-8. | ||
| - | Un post sur le forum existe sur le sujet : [[http://forum.ubuntu-fr.org/viewtopic.php?id=1102821&p=2]] | + | Un post sur le forum existe sur le sujet : [[https://forum.ubuntu-fr.org/viewtopic.php?id=1102821&p=2]] |
| Rapportez-vous aux posts #29, #30 pour plus d'infos :) | Rapportez-vous aux posts #29, #30 pour plus d'infos :) | ||
| PS : Je suis encore la discussion donc n'hésitez pas à y poser vos questions si nécessaire ;) | PS : Je suis encore la discussion donc n'hésitez pas à y poser vos questions si nécessaire ;) | ||