Jean Mouric

professeur de mathématiques à Rennes

vous propose quelques utilitaires pour Caml sous Mac OS X, Windows ou Java


Dernières mises à jour:

11/08/2016: WinCaml5-src
Suppression de guillemets dans le script MinGW/mingw.sh
(guillemets inutiles et apparemment incompatibles avec certaines versions de g++.exe).
Fichier modifié : Code source C++ de WinCaml 5

03/08/2016: MacCaml 5.2 (variante Swift uniquement)
Correction d’une erreur de communication entre MacCaml (Swift) et les toplevels caml avec graphisme cocoa
(cette erreur arrête le toplevel).
Fichier corrigé : MacCaml-swift-v5.2.dmg

01/08/2016: Patch ocaml
Prise en compte du répertoire byterun/caml (version 4.02.2 et ultérieures de ocaml).
(évite des erreurs de compilation : fichiers inclus non trouvés).

06/07/2016: Variante wxWidgets de WinCaml pour Windows :
Recompilation, sans modification des sources, de la variante wxWidgets de WinCaml en utilisant wxWidgets 2.9.5
car les versions 3 de wxWidgets introduisent un comportement indésirable de WinCaml quand on restaure la fenêtre cadre
à partir de sa configuration plein écran (problème sans doute lié à celui signalé le 08/10/2013 (cf. suite de l’historique))
Archive modifiée: WinCaml pour Windows x64

21/06/2016: Archive AFetLR.zip :
- Quelques modifications ou corrections
- Ajout d’une construction directe par la méthode de Brzozovski d’un automate fini déterministe complet reconnaissant
un langage donné par une expression rationnelle.

28/04/2016: Archive AFetLR.zip : Nettoyage.

27/04/2016: Archive AFetLR.zip :
Modification de l'interprétation des automates simples.

19/04/2016: MacCaml 5.2 (variante Swift uniquement)
- Correction de l’affichage du caractère de soulignement (underscore).
- Correction d’une absence possible de rafraîchissement immédiat, lors d'un couper/coller, de la couleur de fond des commandes.
Fichier corrigé : MacCaml-swift-v5.2.dmg

18/04/2016: Archive AFetLR.zip :
Modification de types et ajout l’archive d'un dossier fondé sur des automates miroirs d'automates de Glushkov
qualifiés pour l’occasion d'automates réduits.

14/04/2016: Archive AFetLR.zip : Correction et complément

12/04/2016: Automates Finis et Langages Rationnels
- Remplacement du Notebook Mathematica sur les Automates Finis et Langages Rationnels
par l'archive AFetLR.zip (dossier traitant du même sujet en utilisant le langage Caml)

11/04/2016: MacCaml 5.2 (variante Swift uniquement)
- Correction de la recherche de texte dans le panneau d’entrée
Fichier corrigé : MacCaml-swift-v5.2.dmg

11/04/2016: Suppression de l'application obsolète MacWin et du notebook Mathematica AFetLR.nb

20/03/2016: MacCaml 5.2 et variante Swift
Correction de la recherche de texte dans le panneau de sortie
(problème posé par la modification du texte quand le panneau de recherche y est actif).
Fichiers corrigés : MacCamlv5.2.dmg, MacCaml-swift-v5.2.dmg

15/03/2016: MacCaml 5.2 et variante Swift
Rétablissement de la mise en surbrillance des délimiteurs appariés (perdue depuis la version 5.1).
Fichiers corrigés : MacCamlv5.2.dmg et MacCaml-swift-v5.2.dmg

08/03/2016: MacCaml 5.2
Correction d'une faute importante, introduite dans l'analyseur lexical de l'éditeur de la version 5.1 le 30/09/2014,
pouvant rendre cet éditeur inutilisable aprs qu'on a coupé du texte.
La version 4.7.1 et la variante Swift de MacCaml ne sont pas affectes.
Fichier corrigé : MacCamlv5.2.dmg

suite de l’historique

  • Patches de Caml-Light et OCaml utilisés par MacCaml, WinCaml/WindCaml/WindSCaml, JavaCaml et LinCaml:

    patch caml-light (pour compiler Caml-Light sous OS X, Windows et divers Linux)
    ancien patch caml-light
    patch ocaml (modifie les bibliothèques graphiques X11 et Windows d’OCaml)

  • Toplevels Caml-Light Cygwin:

    Toplevels pour Windows donnant accès à la libunix de Caml Light.
    Il suffit de les placer, accompagnés de cygwin1.dll, dans le sous-répertoire caml-light/bin du répertoire WinCaml5.



  • MacCaml, pour l’utilisation interactive de Caml-Light et OCaml sous Mac OS X:

    Télécharger la version 5.2 de MacCaml (4 Mo)
    pour Lion, Mountain Lion, Mavericks, Yosemite ou El Capitan sur architecture x86_64
    ou sa variante pour Mavericks 10.9.5, Yosemite ou El Capitan (6 Mo) fondée sur le langage Swift
    (Pour utiliser OCaml, installer OCaml 4.0x.y à partir de la distribution en code source: ocaml)
    (supprimer éventuellement l’option -fno-defer-pop dans le script configure avant d’exécuter ce script)

    En cas d’utilisation de XQuartz et d’absence de /usr/X11, créer un lien symbolique /usr/X11
    vers le répertoire /opt/X11 (ligne de commande: sudo ln -s /opt/X11 /usr/X11)
    pour que la bibliothèque graphique OCaml X11 intégrée à MacCaml fonctionne.
    Supprimer cette dernière (dllgraphics.so) sans créer le lien symbolique si OCaml a été installé à partir du patch ocaml

    Télécharger la version 4.7.1 de MacCaml (3,7 Mo)
    pour Tiger (10.4.11 ppc 32 bits), Leopard (10.5.8 intel 32 bits), Snow Leopard (10.6.8 intel 64 bits)
    MacCaml 4.7.1 fonctionne avec ocaml 3.11.0, 3.11.1, 3.11.2, 3.12.0, 3.12.1 ou 4.0x.y:
    (installer de préférence OCaml à partir de la distribution en code source: ocaml)

    MacCaml contient des fichiers binaires obtenus à partir des distributions Caml-Light et OCaml pour unix disponibles ici:

    Distributions Caml-Light et OCaml


  • WinCaml pour l’utilisation interactive de Caml-Light et OCaml sous Windows 2000 Pro, XP, Windows 7 ou 8 ou 10:

       Pour installer WinCaml 5 (5.8):
          1. Télécharger et dézipper celle des trois archives suivantes qui paraît le mieux convenir (x86 = 32 bits, x64 = 64 bits)

    Télécharger  WinCaml 5 (win2000)                 WinCaml 5 (x86)                 WinCaml 5 (x64)                

               (ou au choix celle des trois suivantes respectivement équivalentes aux trois précédentes)

    Télécharger  WinCaml 5 (mingw win2000)     WinCaml 5 (mingw x86)     WinCaml 5 (mingw x64)    

               Elle contient l’exécutable WinCaml.exe
          2. Télécharger et dézipper l’archive suivante contenant le dossier WinCaml5

    Télécharger le dossier de WinCaml 5 (7 Mo)

          3. Placer ce dossier WinCaml5 où bon vous semble   (ne pas utiliser le dossier WinCaml d’une installation antérieure à sa place)
          4. Placer l’exécutable WinCaml.exe dans ce dossier WinCaml5 au premier niveau

    WinCaml inclut des fichiers binaires obtenus à partir des distributions source de Caml-Light et OCaml.
    Le graphisme est emprunté à la distribution OCaml pour Windows.
    La distribution Caml-Light n’est pas nécessaire.
    La distribution OCaml ne devrait pas être nécessaire sur une machine équipée d’un processeur x64 ou amd64.
    Les distributions Caml Light et OCaml sont téléchargeables ici:
    Distributions Caml-Light et OCaml.
    WinCaml dispose à peu près des mêmes fonctions que MacCaml.
    La distribution OCaml 32 bits officielle doit être installée dans C:\OCaml ou C:\Program Files\Objective Caml sous Windows 32 bits,
    et dans C:\OCaml ou C:\Program Files (x86)\Objective Caml sous Windows 64 bits.

    La distribution OCaml 64 bits (optionnelle) doit être installée dans C:\Programmes\Objective Caml.

    La boucle interactive OCaml 64 bits intégrée peut nécessiter (en cas d’absence de MSVCR100.dll) l’installation du paquet
    Microsoft Visual C++ 2010 redistributable (x64)

    WinOcaml et l’ancien WinCaml sont toujours disponibles: WinOCaml , Ancien WinCaml,
    ainsi que WinCaml 4.5

  • WinCaml 5.8 pour Windows 64 et pour Debian Gnu Linux 64 (wheezy) via wxWidgets ou Qt:

    WinCaml pour Windows x64 , WinCaml pour Linux x86_64 , WinCaml pour tp-algo

    La présence à part des bibliothèques wxWidgets et Qt n’est en principe pas nécessaire (lien statique).

    Mise en œuvre de WinCaml pour tp-algo

    Aperçus de WinCaml pour Linux via wxWidgets sous tp-algo de l’E.N.S. Lyon (cliquer sur la miniature):



    Pour Linux, le dossier WinCaml5 contenu dans l’archive est normalement prêt à l’emploi
    (mais il faudra peut-être rendre exécutables les binaires WinCaml, WinCamlQt et lintoplevel64)
    Pour plus de détails consulter le fichier “Alire” joint dans l’archive.

    Pour Windows, placer WinCaml.exe (ou WinCamlQt.exe) dans le le dossier de WinCaml 5 pour Windows au premier niveau
    et installer, en cas d’absence de MSVCR110.dll ou de MSVCP110.dll, le paquet Microsoft Visual C++ 2012 redistributable (x64)

  • Code source C++ complet de WinCaml 5, (Windows, Mac OS X et Linux):

    Cette archive contient aussi les éléments constitutifs du dossier de WinCaml 5 pour les trois systèmes
    et des scripts de construction à adapter éventuellement à la ligne de commande de l’environnement de programmation

    Code source C++ de WinCaml 5 (8 Mo)

    Important: Les toplevels caml-light proposés, notamment lintoplevel32 et lintoplevel64 pour Linux, peuvent ne pas convenir.
    Dans ce cas les remplacer en utilisant le patch caml-light

    Pour OS X, en cas d’utilisation de XQuartz et d’absence de /usr/X11, créer un lien symbolique /usr/X11
    vers le répertoire /opt/X11 (ligne de commande: sudo ln -s /opt/X11 /usr/X11)
    pour que la bibliothèque graphique OCaml X11 intégrée à WinCaml fonctionne.
    Supprimer cette dernière (dllgraphics.so) sans créer le lien symbolique si OCaml a été installé à partir du patch ocaml


  • JavaCaml, pour l’utilisation interactive de Caml-Light et OCaml sous Linux, Mac OS X, ou Windows:

    Télécharger JavaCaml v4.9 (7,9 Mo)
    JavaCaml inclut des fichiers binaires obtenus à partir de la distribution source de Caml-Light pour unix:
    cette dernière (archive cl75.unix.tar.gz), non indispensable, est disponible ici:
    Distributions Caml-Light et OCaml

    Pour l’installation d’OCaml, voir le fichier A lire joint à JavaCaml
    Sous Mac OS X JavaCaml utilise le serveur graphique Apple X11
    Sous Windows, la boucle interactive OCaml 64 bits intégrée peut nécessiter (en cas d’absence de MSVCR100.dll) l’installation du paquet
    Microsoft Visual C++ 2010 redistributable (x64)
    JavaCaml fonctionne avec la machine virtuelle (jre) d’Oracle en version 5 ou 6

    Important: Les toplevels caml-light proposés, notamment lintoplevel32 et lintoplevel64 pour Linux, peuvent ne pas convenir.
    Dans ce cas les remplacer en utilisant le patch caml-light

    La version 3.4 de JavaCaml est encore disponible: JavaCaml v3.4

    Code source de JavaCaml


  • MacCaml est une application Cocoa. WinCaml est dans les versions inférieures à 5 une application MFC (Microsoft Foundation Classes) et dans la version 5 une application Win32/Win64, ou une application Qt ou wxWidgets; assez proche de MacCaml, WinCaml fonctionne sous Windows 2000 professionnel, Windows XP et Windows 7 ou 8 et dans ses versions Qt et wxWidgets sous OS X et Linux. JavaCaml est une application Java Swing apparentée aux précédentes fonctionnant sous Mac OS X, Windows et Linux équipés de la machine virtuelle Java d’Oracle (jre: Java Runtime Environment).



  • Capture d’écran de WinCaml 5.7 sous Debian Wheezy Live (tp-algo E.N.S. Lyon) dans une machine virtuelle Parallels 4 Go sous OS X Yosemite: MacBook Pro Retina 15 pouces 16 Go 1920 x 1200 (cliquer dessus pour obtenir une image plus précise):



  • Capture d’écran de WinCaml 5.7 sous Debian Wheezy Live (tp-algo E.N.S. Lyon) sur PC portable ASUS intel core 2 duo 4 Go 1366 x 768 (cliquer dessus pour obtenir une image plus précise):



  • Captures d’écran de MacCaml 4.4 (cliquer dessus pour obtenir une image plus précise):



  • Capture d’écran de WinCaml 4.3 sous Windows XP (cliquer dessus pour obtenir une image plus précise):



  • Capture d’écran de JavaCaml sous Debian Gnu/Linux avec environnement graphique Gnome (cliquer dessus pour obtenir une image plus précise):



  • Dossier Caml sur les automates finis et langages rationnels:

    Télécharger l’archive AFetLR.zip (215 Ko)