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 04/10/2017, 21:15] 82.253.169.39 [Installation] |
caml_light [Le 21/09/2022, 22:24] (Version actuelle) 46.193.6.164 [Installation] |
||
---|---|---|---|
Ligne 16: | Ligne 16: | ||
- | | ^ Trusty ^ Xenial ^ Zesty ^ Artful ^ | + | | ^ 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 ]]|[[http://boisson.homeip.net/depot/pool/artful/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]]|[[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 "quantal", par la version que vous utilisez. | + | **NB :** Remplacez "trusty", par la version que vous utilisez. |
- | __La signature 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 32: | Ligne 33: | ||
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 | + | **NB :** **Remplacez** **D78A5C23CEA8D8FF**par **416D3F7C** pour les versions artful et plus. |
===== Utilisation avec la librairie "graphics"===== | ===== Utilisation avec la librairie "graphics"===== | ||
Ligne 40: | 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 46: | 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 119: | 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 131: | 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 161: | 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 167: | 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 ;) |