Différences

Ci-dessous, les différences entre deux révisions de la page.

--- caml_light [Le 04/10/2017, 21:18] – [Installation] fran.b
+++ caml_light [Le 21/09/2022, 22:24] (Version actuelle) – [Installation] 46.193.6.164
@@ 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)
-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. Des versions de camllight existent à partir de dapper et sont toujours disponibles.
+**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>
 qui récupère la clef sur le serveur de clef et :
@@ Ligne 33: / Ligne 33: @@
 puis sous root :
 <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"=====
@@ 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>
 Une fois lancé, il faut commencer par :
 <code>load_object "graphics";;</code>
@@ Ligne 47: / Ligne 47: @@
 <code>#open "graphics";;</code>
 autre particularité pour lancer une fenêtre il faut désormais taper :
 <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.
 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 :
@@ Ligne 132: / Ligne 132: @@
 Pour l'utiliser il suffit d'éditer un fichier avec l'extension .ml ou bien de faire Alt+x puis
 '' 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.
   * Deuxième méthode: utilisation du mode tuareg original.
@@ Ligne 162: / Ligne 162: @@
 ----
-http://caml.inria.fr/caml-light/release.fr.html
+https://caml.inria.fr/caml-light/release.fr.html
 ===== Problèmes connus =====
@@ Ligne 168: / 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.
-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 :)
 PS : Je suis encore la discussion donc n'hésitez pas à y poser vos questions si nécessaire ;)

Différences

Outils de la page

Outils du site

Divers