Jean Mouric

professeur de mathématiques à Rennes

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


Dernières mises à jour:

23/05/2021:Patch Caml Light 2021/05/23
Remplace celui du 2021/05/05 (quelques corrections graphiques non essentielles du toplevel autonome caml_all_cocoa).
Mises à jour correspondantes de MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64)
(OCaml non concerné).

11/05/2021: MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64)
Modification des fichiers Alire : Pour utiliser X11 installer XQuartz-2.8.1
(Cette dernière version de XQuartz règle les problèmes de polices rencontrés avec XQuartz-2.8.0
et, semble-t-il, le problème sporadique de liaison signalé le 25/01/2021 de la version MacPorts)

06/05/2021: MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64)
Changements mineurs associés en partie à ceux du 05/05/2021

05/05/2021: Patches Caml Light et OCaml
Changements mineurs, pour macOS uniquement: remplacement des trois derniers patches (Caml Light, OCaml et OCaml graphique).

14/04/2021: MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64) et Patch Caml Light 2021/04/14
- Restauration du dossier arm64/camllight de l’archive MacCaml 7.0 Swift pour Mac M1 (erreur du 12/04/2021)
- Modification du traitement par MacCaml des événements MOUSEMOVE pour une synchronisation un peu plus satisfaisante (graphisme Cocoa)
- Remplacement dans le graphisme Cocoa de Caml Light des fonctions (get/set)PixelValue par celles d’OCaml:
l’archive patch caml-light (2021/04/14) remplace la précédente du 03/04/2021

12/04/2021: MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64)
Traitement d’un problème signalé depuis quelque temps par le compilateur (dangling pointer).

04/04/2021: MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64)
Remplacement des sous-dossiers arm64/camllight et amd64/camllight conformément au Patch Caml Light du 03/04/2021
On peut utiliser avec MacCaml le toplevel caml_all_cocoa en remplaçant dans le script MacCaml.app/Contents/Resources/camltoplevel _mac par _cocoa
Le toplevel caml_all_cocoa suit mieux les mouvements du pointeur mais son graphisme lui est propre: ses fenêtres n’appartiennent pas à MacCaml.
Cette mise à jour ne concerne pas OCaml.

03/04/2021: Patch Caml Light
PatchCl75_2021_04_03
remplace de l’archive PatchCl75 du 23/03/2021: renouvellement des sources des bibliothèques graphiques libcamlcocoa.a
et libgraphcocoa.a et du toplevel graphique autonome caml_all_cocoa (suppression des "deprecated NSConnection").
Les NSConnection ne sont plus utilisées que par le toplevel destiné à MacCaml 6 (dans le sous-dossier MAC/cocoaold).

25/03/2021: Distributions binaires amd64/x64 OCaml 4.12.0 avec bibliothèque numérique Zarith pour Gnu/Linux et Windows 10
(en remplacement des distributions 4.11.1).
- pour GNU/Linux: Placer le dossier amd64 contenu dans l'archive directement sous /opt puis indiquer l'emplacement /opt/amd64/ocaml-4.12.0 à WinCaml
(menu Caml->Nouvelle distribution... pour initier la manœuvre).
- pour Windows 10: Placer le dossier ocamlX64 contenu dans l'archive directement sous C:\ puis indiquer l'emplacement C:\ocamlX64\ocaml-4.12.0 à WinCaml
(menu Caml->Nouvelle distribution... pour initier la manœuvre), avec X = ms ou X = mgw au choix.

23/03/2021: MacCaml 7.0 Swift et Patches Caml Light et OCaml
- Remplacement des archives du 18/03/2021 en raison de dysfonctionnements des bibliothèques graphiques libcamlcocoa.a et libgraphcocoa et du toplevel graphique
autonome en ligne de commande caml_all_cocoa : ces trois éléments utilisent encore les "deprecated NSConnection" mais ne concernent pas MacCaml
- Nouveaux patches PatchCl75_2021_03_23 et patch_oc_2021_03_23 produisant à la demande des binaires adaptés à MacCaml 7, mais par ailleurs inchangés.

18/03/2021: MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64)
Remplacement des archives du 13/03/2021:
traitement d’une consommation de mémoire sans limite menant au bout d’un certain temps au crash de MacCaml
(problème léthal ne concernant que l’utilisation des bibliothèques graphiques Cocoa).

13/03/2021: MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64)
Remplacement des archives du 12/03/2021 suite à quelques erreurs de traitement des événements dans les bibliothèques graphiques Caml Cocoa de MacCaml
(cf. boutons "Composer" des Rubiks Cubes dans les exemples)

12/03/2021: MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) et Mac Intel (x86_64)
Cette nouvelle version 7.0 de MacCaml remplace la gestion des "Distributed Objects"
(classe NSConnection déclarée "deprecated") par la technologie "XPC" (classes NSXPCListener, NSXPCConnection, Mach Services...).
Elle est accompagnée de distributions binaires Caml Light et OCaml-4.12.0 adaptées à ce changement qui ne concerne en fait que la
relation entre MacCaml et les bibliothèques graphiques Cocoa.
Cf. le fichier Alire.txt dans l’archive adaptée à votre processeur (M1 ou x86_64) pour l'installation (un peu plus contraignante que les précédentes).
Elle remplace MacCaml 6.0 pour Mac M1.

23/02/2021: MacCaml 6.0 Swift pour Mac M1 (Apple Silicon)
Remplaçement de ocaml-4.12.0~beta2 par ocaml-4.12.0~rc1 dans l’archive MacCamlv6.0-swift-M1.dmg du 07/02/2021

07/02/2021: MacCaml
- MacCaml 6.0 Swift pour Mac M1 (Apple Silicon):
-- Correction des régions sensibles aux clics dans les barres de boutons des fenêtres
-- Augmentation de la fréquence de rafraîchissement des fenêtres des bibliothèques graphiques Cocoa (Caml Light et OCaml).
- MacCaml 6.0 et variante swift pour Mac x86_64:
-- Correction des régions sensibles aux clics dans les barres de boutons des fenêtres.

27/01/2021: MacCaml 6.0 Swift pour Mac M1 (Apple Silicon)
Remplaçement de ocaml-4.12.0~beta1 par ocaml-4.12.0~beta2 dans l’archive MacCamlv6.0-swift-M1.dmg du 25/01/2021
Remarque: En cas d’altération de la liaison avec XQuartz après une mise en veille prolongée, une solution est de quitter et relancer la session.

25/01/2021: MacCaml 6.0 Swift pour Mac M1 (Apple Silicon)
Remplaçement de ocaml-4.12.0~alpha3 par ocaml-4.12.0~beta1 dans l’archive MacCamlv6.0-swift-M1.dmg du 11/01/2021
Remarque: En cas d’altération de la liaison avec XQuartz après une mise en veille prolongée, une solution est de quitter et relancer la session.

11/01/2021: MacCaml 6.0 Swift pour Mac M1 (Apple Silicon)
Distribution plus légère n’utilisant plus Rosetta remplaçant celle du 25/12/2020
Pour pouvoir utiliser la bibliothèque graphique X11, installer XQuartz pour M1 Apple Silicon (arm64) :
une façon de faire, via MacPorts, est décrite dans le fichier Alire.txt de l'archive MacCamlv6.0-swift-M1.dmg

suite de l’historique

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

    Pour compiler Caml Light sous Windows avec les outils en ligne de commande de Microsoft:  cl75win
    Pour obtenir un toplevel caml_all.exe à partir de cl.exe:  caml-light-cl

    Pour compiler Caml-Light sous OS X, Windows et divers Linux:
    patch caml-light (2021/05/23)     patch caml-light (2020/12/22)     patch caml-light (2020/09/30)     patch caml-light (2020/06/19)     patch caml-light (2020/01/28)
    patch caml-light (2019/09/27)     patch caml-light (2019/05/20)     patch caml-light (2018/08/06)     patch caml-light (2018/06/06)     patch caml-light (2018/05/29)
    patch caml-light (2018/05/22)     patch caml-light (2018/02/19)     patch caml-light (2018/02/01)     patch caml-light (2018/01/29)     patch Caml Light 2017
    patch Caml Light précédent

    Pour compiler OCaml sous OS X, Windows et divers Linux:
    patch graphique OCaml (2021/05/05) (modifie les bibliothèques graphiques X11 et Windows d’OCaml et fournit la bibliothèque graphique Cocoa)
    patch graphique OCaml (2020/07/12)     patch graphique OCaml (2020/04/03)     patch graphique OCaml (2019/09/28)
    patch graphique OCaml (2019/07/04)     patch graphique OCaml (2019/03/16)     patch graphique OCaml (2018/07/02)
    ancien patch graphique OCaml

    patch OCaml (2021/05/05) (modifie les bibliothèques graphiques X11 et Windows d’OCaml, fournit la bibliothèque graphique Cocoa et installe OCaml)
    patch OCaml (2020/12/22)     patch OCaml (2020/07/30)     patch OCaml (2020/03/30)     patch OCaml (2019/11/11)     patch OCaml (2019/08/17)     patch OCaml (2019/07/04)
    patch OCaml (2019/03/16)     patch OCaml (2018/08/01)
    patch OCaml précédent         ancien Patch OCaml
    L'archive cl75unix.tar.gz et les archives ocaml-x.yy.z.tar.gz sont présentes ici : archives caml-light et ocaml


            Distribution binaire OCaml 4.08.1 complète obtenue à l’aide des outils en ligne de commande de Microsoft de 2010:  ocamlms64.zip (182 Mo)
            (Peut nécessiter l’installation du paquet Microsoft Visual C++ 2010 redistributable (x64) à défaut des outils en ligne de commande de 2010 eux-mêmes)

            Autre distribution binaire OCaml 4.08.1, pour Windows 10, ocamlms64-win10-4081.zip (183 Mo), munie de la bibliothèque numérique Zarith fondée sur MPIR,
            obtenue à l’aide des outils en ligne de commande de Microsoft de 2017.
            Cette distribution est probablement utilisable avec des versions antérieures de Windows en installant la Mise à jour pour le Runtime C universel dans Windows

            Autre distribution binaire OCaml 4.08.1, pour Windows 10, ocamlmgw64-win10-4081.zip (205 Mo), munie de la bibliothèque numérique Zarith fondée sur GMP,
            obtenue à l’aide de MSY2-MINGW64 (x86_64-w64-mingw32-gcc 7.3.0).

            Distribution binaire OCaml 4.12.0, pour Windows 10, ocamlms64-win10-4120.zip (173,7 Mo), munie de la bibliothèque numérique Zarith fondée sur MPIR,
            obtenue à l’aide des outils en ligne de commande de Microsoft de 2019.
            Distribution binaire OCaml 4.12.0, pour Windows 10, ocamlmgw64-win10-4120.zip (199,4 Mo), munie de la bibliothèque numérique Zarith fondée sur GMP,
            obtenue à l’aide de MSY2-MINGW64 (x86_64-w64-mingw32-gcc 7.3.0).

            Les dossiers ocamlms64 ou ocamlmgw64 contenus dans ces archives devraient être placés directement sous C:\
            De cette façon findlib devrait fonctionner correctement: par exemple avec le fichier contenu dans puissancesZarith.zip


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

    Important : MacCaml n’étant pas une application signée, elle sera, après téléchargement sous Sierra, High Sierra, Mojave ou Catalina, affublée de l’attribut étendu com.apple.quarantine. Bien qu'il soit possible d'autoriser le lancement de MacCaml après un clic droit sur son icône, ceci peut ne pas suffire pour éviter son lancement avec déplacement, ce qui perturbera son fonctionnement (en raison de changements dans les chemins). Une solution est alors de supprimer l’attribut com.apple.quarantine comme suit: Supposons par exemple le dossier MacCaml contenant MacCaml.app placé directement dans le dossier /Applications. Entrer alors dans terminal la commande sudo xattr -r -d -s com.apple.quarantine /Applications/MacCaml (qui demande le mot de passe administrateur). Il faudra peut-être aussi jeter le fichier de configuration actuel $HOME/Library/Preferences/com.jmm.MacCaml.plist puis se déconnecter et se reconnecter, voire redémarrer pour disposer complètement de MacCaml.

    Télécharger la version 7.0 de MacCaml 7.0 Swift pour Mac M1 (Apple Silicon) (219,6 Mo),
    Ne pas oublier, après téléchargement de l’archive, montage et duplication sur le bureau, de sortir le dossier dupliqué
    MacCamlv7.0-swift-M1 de sa mise en quarantaine (comme indiqué ci-dessus).
    Ce dossier contient, en plus de MacCaml, des distributions binaires Caml light et OCaml-4.12.0 complètes
    pour processeur M1 (Apple Silicon arm64) dans le dossier arm64.
    Placer le dossier arm64 directement dans /opt et le dossier MacCaml directement dans /Applications.
    Placer le fichier com.jmm.maccamlxpc.plist dans le sous-dossier LaunchAgents de la bibliothèque personnelle (créer ce dossier s'il est absent).
    Optionnel: Pour le graphisme X11, installer XQuartz-2.8.1
    Plus de détails sur l’installation dans le fichier Alire.txt à la racine du dossier dupliqué MacCamlv7.0-swift-M1
    .

    Télécharger la version 7.0 de MacCaml 7.0 Swift pour Mac Intel (x86_64) (219,1 Mo) (macOS Mojave ou plus récent),
    Ne pas oublier, après téléchargement de l’archive, montage et duplication sur le bureau, de sortir le dossier dupliqué
    MacCamlv7.0-swift-intel de sa mise en quarantaine (comme indiqué ci-dessus).
    Ce dossier contient, en plus de MacCaml, des distributions binaires Caml light et OCaml-4.12.0 complètes
    pour processeur Intel (x86_64) dans le dossier amd64.
    Placer le dossier amd64 directement dans /opt et le dossier MacCaml directement dans /Applications.
    Placer le fichier com.jmm.maccamlxpc.plist dans le sous-dossier LaunchAgents de la bibliothèque personnelle (créer ce dossier s'il est absent).
    Optionnel: Pour le graphisme X11, installer XQuartz-2.8.1
    Plus de détails sur l’installation dans le fichier Alire.txt à la racine du dossier dupliqué MacCamlv7.0-swift-intel
    .

    Télécharger la version 6.0 de MacCaml (14 Mo), ou sa variante Swift (18,8 Mo) fondée sur le langage Swift,
    toutes deux adaptées aux modes clair et sombre de Mojave, pour Mojave, Catalina et Big Sur uniquement (sur architecture x86_64 ou M1 avec Rosetta)
    ou encore MacCamlv5.3 pour Lion, Mountain Lion,... (5,8 Mo)

    Pour utiliser OCaml, on pourra placer le dossier ocaml-4.11.1 contenu dans l’archive ocaml-mac-4111.tar.gz (160 Mo) directement dans /opt
    ou bien
    si on a déjà installé OCaml 4.x.y, par exemple à partir de la distribution en code source: ocaml,
    modifier le début du script bash MacCaml.app/Contents/Resources/camltoplevel pour indiquer à MacCaml l’emplacement d’OCaml
    et si x < 11 opter pour OCaml X11 dans les préférences de MacCaml pour le graphisme X11 d’OCaml qui suppose l’installation de XQuartz

    (Pour compiler et installer OCaml on peut utiliser le patch OCaml qui fournit en plus la bibliothèque graphique Cocoa associée
    à placer dans MacCaml.app/Contents/Resources/ocaml/cocoa, ce qui permet d’éviter X11)

    Télécharger la version 4.7.2 de MacCaml (5,8 Mo)
    pour Tiger (10.4.11 ppc 32 bits), Leopard (10.5.8 intel 32 bits), Snow Leopard (10.6.8 intel 64 bits)... et Mac OS Sierra
    MacCaml 4.7.2 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)
    (On pourra utiliser le patch OCaml)

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

    Distributions sources officielles Caml-Light et OCaml

            On pourra aussi essayer la distribution binaire OCaml suivante équipée de la bibliothèque numérique Zarith fondée sur gmp:

    distribution binaire ocaml-4.08.1 pour MacOS: El Capitan ... Catalina (183 Mo)
    Placer le contenu de l’archive directement dans /opt
    (utilisable aussi avec WinCaml via Qt pour Mac OS (Lion 10.7.5 et suivants))


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

          Pour installer WinCaml 7 (7.1 pour Windows 2000, 7.2 pour Windows XP et Windows 10):
          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 7 (win2000)                 WinCaml 7 (x86)                 WinCaml 7 (x64)                

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

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

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

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

    On pourra utiliser 7zip pour décompresser l’archive WinCaml7.zip si la décompression par Windows altère les chemins
    (regarder dans les dossiers WinCaml7\exemples\Caml Light\unicode et WinCaml7\exemples\OCaml\unicode)

          3. Placer ce dossier WinCaml7 où bon vous semble   (ne pas utiliser le dossier WinCaml d’une installation antérieure à sa place)
          4. Placer l’exécutable WinCaml.exe, et éventuellement Scintilla.dll, dans ce dossier WinCaml7 au premier niveau
          5. Optionnel: si aucune distribution OCaml n’est encore installée, on pourra placer le répertoire ocaml contenu dans l’une des archives ocaml32.zip (152 Mo) ou ocaml64.zip (152 Mo) directement sous C:\
              Ces distributions bytecode C:\ocaml d’OCaml 4.08.1 peuvent nécessiter (en cas d’absence de MSVCR100.dll) l’installation d’un des paquets suivants:

    pour ocaml32.zip : Microsoft Visual C++ 2010 redistributable (x86)
    pour ocaml64.zip : Microsoft Visual C++ 2010 redistributable (x64)

               Compilées sous Windows 10, elles devraient fonctionner sous Windows XP sp3 et suivants, même si depuis OCaml 4.07.0 le fichier win32.c demande _WIN32_WINNT=0x0600 (Vista).
               (Au moins ocaml32.zip).
              On pourra aussi placer le dossier camllight contenu dans une des deux archives suivantes directement sous C:\ (ou ailleurs...) et indiquer son chemin à WinCaml (menu Caml->Nouvelle distribution... de WinCaml) pour que WinCaml utilise son contenu au lieu du Caml Light moins complet proposé dans le dossier de WinCaml 7.

    camllight32.zip      camllight64.zip

    WinCaml inclut des fichiers binaires obtenus à partir des distributions source de Caml Light.
    Le graphisme est emprunté aux distributions OCaml pour Windows.
    Les distributions sources officielles Caml Light et OCaml sont téléchargeables ici:
    Distributions sources officielles Caml-Light et OCaml.
    WinCaml dispose à peu près des mêmes fonctions que MacCaml.

          Les versions 5.8, 5.9, 6.0, 6.1 et 7.0 de WinCaml sont encore disponibles.
          WinOcaml et l’ancien WinCaml sont toujours disponibles: WinOCaml , Ancien WinCaml, ainsi que WinCaml 4.5

  • WinCaml 7 (7.1) pour Windows 64, Debian Gnu Linux amd64 (Wheezy: 7, Jessie: 8, Stretch: 9 ou Buster: 10) et Mac OS via wxWidgets ou Qt:

    WinCaml pour Windows x64
    WinCaml pour GNU/Linux amd64 : devrait convenir aux installations par défaut des distributions GNU/Linux suivantes:
    Debian Wheezy, Jessie, Stretch ou Buster, Ubuntu 16.04 ou 19.04, Mint Cinnamon Serena ou Tina, OpenSuse 42.2 ou 15.1, Mageia 5.1 ou 7.1 ...
    WinCaml via Qt pour Mac OS (Lion 10.7.5 et suivants) (139 Mo)
    La présence à part des bibliothèques wxWidgets et Qt n’est en principe pas nécessaire (lien statique).

    Distribution bytecode Caml Light pour GNU/Linux amd64 (1,8 Mo)
    Distribution bytecode OCaml 4.08.1 pour GNU/Linux amd64 (128 Mo)
    (placer de préférence le dossier contenu dans l'archive dans /opt.)
    Ces distributions bytecode adaptées à WinCaml devraient convenir au moins aux distributions GNU/Linux citées ci-dessus.

    Distribution OCaml 4.12.0 complète avec bibliothèque numérique Zarith pour GNU/Linux amd64 (182,4 Mo)
    à placer dans /opt/amd64; de cette façon findlib devrait fonctionner correctement: par exemple avec le fichier contenu dans puissancesZarith.zip
    Cette distribution devrait aussi convenir au moins aux distributions GNU/Linux citées ci-dessus.

    Mise en œuvre de WinCaml pour Linux x86_64 avec 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 il faudra peut-être rendre exécutables les binaires wincamlinit, WinCaml et lintoplevel64

    WinCaml pour Debian GNU/Linux amd64 peut fonctionner avec d’autres distributions Gnu/Linux amd64 assez récentes.

    Pour Windows installer, en cas d’absence de MSVCR110.dll ou de MSVCP110.dll, le paquet Microsoft Visual C++ 2012 redistributable (x64)

    Pour Mac OS veiller à ce que XQuartz soit installé

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

    Cette archive contient aussi les éléments constitutifs du dossier de WinCaml 7 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 7.2 (5,6 Mo)

    On pourra utiliser 7zip pour décompresser l’archive WinCaml7.x-src_*.zip si la décompression par Windows altère les chemins
    (regarder dans les dossiers WinCaml7.x-src_*\caml\exemples\Caml Light\unicode et WinCaml7.x_*\caml\exemples\OCaml\unicode)
    et se servir des patches de Caml Light et OCaml pour obtenir des distributions Caml Light et OCaml adaptées à WinCaml.


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

    Préférer les archives zip sous Windows (à ouvrir avec 7-zip) et les archives tar.gz sous Linux et Mac OS (pour préserver les chemins unicodes).

    Télécharger JavaCaml 5.2 (zip)    JavaCaml 5.2 (tar.gz)

    JavaCaml fonctionne avec la machine virtuelle (jre) d’Oracle en version 8
    Pour l’utilisation de Caml Light et OCaml avec JavaCaml, voir les fichiers Alire dans les archives

    Code source de JavaCaml 5.2(zip)    Code source de JavaCaml 5.2 (tar.gz)

    Les versions 4.9 et 5.0 de JavaCaml sont encore disponibles:
        JavaCaml 4.9     Code source de JavaCaml 4.9
        JavaCaml 5.0     Code source de JavaCaml 5.0


  • 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 ou 10 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)


  • Rubik's cubes et leurs groupes de mouvements en Caml Light et OCaml:


    Placer le dossier rubikscubes/interfaces de l'archive dans le dossier de MacCaml ou WinCaml au premier niveau.
    Quelques explications sont jointes dans le fichier Alire.txt et les fichiers mouvements.pdf de l'archive.
    Le dossier rubikscubes/OCaml est une adaptation bon marché à OCaml du dossier rubikscubes/Caml-light.

    Télécharger l’archive rubikscubes.zip (937 Ko)

    L’archive suivante permet d’obtenir à partir de Caml Light des applications autonomes pour Mac OS, Windows et Linux
    (elle contient les applications autonomes pour Mac OS Mojave ou Catalina, pour Windows XP SP2 et pour Windows 10)

    Télécharger l’archive rubikscubes1.zip (2,3 Mo)

  • Mode Sombre de Mojave et MacCaml:


  • WinCaml 7.1 sous Windows 10: