Jean Mouric

professeur de mathématiques à Rennes

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




MacCaml         WinCaml 7.2 pour Windows         WinCaml 7.2 pour Linux, Mac, Windows         Code source de WinCaml 7.2         JavaCaml

Patches et distributions binaires natives Caml Light et OCaml



Dernières mises à jour:

27/05/2023: GMP pour Mac M1 (macOS Ventura arm64)
Dans l’archive gmp-mac-arm64.zip on trouvera un nouveau dossier gmp pouvant remplacer le dossier /opt/arm64/gmp (ce dernier issu de Homebrew proposé avec MacCaml).
Ce nouveau gmp plus rapide y est accompagné d'un programme C++ atteignant le premier milliard de décimales de pi en 35 minutes environ en s’inspirant de ocaml5/pi.oml.

25/05/2023: MPIR
Correction de l'adresse du site web (Noter que MPIR, alternative à GMP pour Windows, n'a plus été mis à jour depuis 2017).

23/04/2023: Dossier exemples:
Nouveau dossier exemples destiné à remplacer ceux qui accompagnent MacCaml, WinCaml et JavaCaml :
prise en compte de la normalisation unicode des chemins (problème NFD vs NFC) dans les sous-dossiers Caml Light/unicode et OCaml/unicode.
L’archive exemples.zip devrait s’ouvrir correctement de façon usuelle sous les systèmes récents Mac, Windows, Linux.
Rappel: les bibliothèques graphiques Caml Light et OCaml pour GNU/Linux adaptées à WinCaml utilisent les polices -misc-fixed-* (nomenclature XLFD).
Mais il peut arriver que celles-ci ne soient pas installées: à défaut de les trouver dans les dépôts de logiciels de la distribution GNU/Linux utilisée
on pourra installer celles qui sont proposées à l’adresse ucs-fonts.html dans l’archive ucs-fonts.tar.gz

14/04/2023: MacCaml, WinCaml, JavaCaml, et dossier exemples
- MacCaml et WinCaml:
prise en compte, dans la coloration syntaxique et l’indentation, des littéraux entiers au format binaire (0b..., 0B...) ou octal (0o..., 0O...) et du caractère '_'.
(seul les littéraux décimaux et hexadécimaux (0x..., 0X...) étaient correctement lus jusqu’à présent, sans le caractère '_').
- JavaCaml:
prise en compte, dans la coloration syntaxique et l’indentation, du caractère '_' dans les littéraux entiers
et adaptation des deux scripts 'mactop' de JavaCaml aux versions récentes de macOS.
JavaCaml semble fonctionner correctement avec openjre 11 sous macOS et Linux (x86_64 et aarch64); (par exemple : 'sudo apt install default-jre' sous Ubuntu)
- Dossier exemples:
Ajout de exemples/ocaml/Pi/ocaml5/pi.oml atteignant, sous toplevel OCaml 5, un milliard de décimales de π en une heure sur MacBook Pro M1 16 Go .
Archives modifiées:
- MacCaml 7.0 Swift pour Mac M1 (Apple Silicon)
- MacCaml 7.0 ObjC pour Mac M1 (Apple Silicon)
- MacCaml 7.0 Swift pour Mac Intel (x86_64)
- MacCaml 7.0 ObjC pour Mac Intel (x86_64)
- Dossier de WinCaml 7
- les 2 binaires natifs de WinCaml pour Windows 10 x64
- WinCaml pour Windows x64 via Qt ou wxWidgets
- WinCaml pour GNU/Linux amd64
- WinCaml , Caml Light , OCaml pour GNU/Linux arm64
- Code source de WinCaml 7.2
- JavaCaml 5.2

21/02/2023: Divers
- Code source de WinCaml 7.2 (fichier Scintillax86.dll, sous-dossier caml/exemples)
- Rubiks cubes (cube 2x2x2)

17/02/2023: Dossier exemples: remplacement du sous-dossier OCaml/Pi
(programme plus simple et plus rapide utilisant la même série:
environ 6 minutes pour 100 millions de décimales, 40 minutes pour 500 millions, 1 heure pour 700 millions... sur MacBook Pro M1 16 Go,...)
Archives modifiées contenant ce dossier:
- MacCaml 7.0 Swift pour Mac M1 (Apple Silicon)
- MacCaml 7.0 Swift pour Mac Intel (x86_64)
- Dossier de WinCaml 7
- WinCaml , Caml Light , OCaml pour GNU/Linux arm64
- WinCaml pour Windows x64
- WinCaml pour GNU/Linux amd64
- Code source de WinCaml 7.2

29/01/2023: À propos de macOS Ventura et de MacCaml pour Mac M1 (Apple Silicon)
Remplacer le dossier /opt/arm64/gmp par le dossier gmp, issu de Homebrew, contenu dans l’archive gmp.zip.
(ceci devrait supprimer les dysfonctionnements des exemples qui utilisent zarith : Mersenne et Pi tant avec OCaml 5.0.0 qu’avec OCaml 4.14.0 ou OCaml 4.13.1)

22/01/2023 Distributions binaires OCaml 5.0.0 du 04/01/2023 et Dossier de WinCaml 7
Ajout dans le sous-dossier OCaml-5.0.0/lib/ocaml/site-lib des bibliothèques lockfree et domainslib issues d’opam
et dans le dossier de WinCaml 7 d'un dossier exemple nommé fibo_parallel (cf. exemple fib_par2.ml au chapitre 9 du manuel d'OCaml 5.0.0: programmation parallèle)
Archives modifiées :
- Les cinq distributions binaires OCaml-5.0.0 pour Windows 10 ou 11 x64, GNU/Linux et MacOS
- Dossier de WinCaml 7 (Exemples utilisables avec MacCaml 7)

12/01/2023: remplacement des quatre archives MacCaml 7.0
(correction d’erreurs commises le 04/01/2023 )

04/01/2023: Patch OCaml (2023/01/04) pour OCaml 5.0.0
Autres nouvelles archives: Distributions binaires OCaml-5.0.0 pour Windows 10 ou 11 x64, GNU/Linux et MacOS
Archives modifiées:
- MacCaml 7.0 (préparé pour OCaml-5.0.0 : modifier la valeur de OCAMLVERSION au début du script MacCaml.app/Contents/Resources/camltoplevel)
et installer la distribution binaire OCaml-5.0.0 pour Mac Intel (resp. Mac M1) sous /opt/amd64 (resp. /opt/arm64))
- Dossier de WinCaml 7 (modification du sous-dossier exemples)

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 compiler Caml-Light sous OS X, Windows et divers Linux:
    patch caml-light (2022/08/20)     patch caml-light (2022/01/23)
    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:
    (le patch adapte à WinCaml, MacCaml et JavaCaml les bibliothèques graphiques X11 et Windows d’OCaml,
    fournit la bibliothèque graphique Cocoa de MacCaml et installe OCaml)
    patch OCaml (2023/01/04)
    patch OCaml (2022/09/04)     patch OCaml (2022/08/16)
    patch OCaml (2021/11/10)     patch OCaml (2021/05/05)
    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

    Pour obtenir à partir d’un OCaml déjà installé des bibliothèques graphiques adaptées à WinCaml, MacCaml ou JavaCaml
    à placer aux endroits prévus dans le répertoire de WinCaml ou JavaCaml, ou dans le bundle MacCaml
    (modifie les bibliothèques graphiques X11 et Windows d’OCaml et fournit la bibliothèque graphique Cocoa)
    patch graphique OCaml (2021/05/05)
    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

    L'archive cl75unix.tar.gz et les archives ocaml-x.yy.z.tar.gz sont présentes ici : archives caml-light et ocaml


    On pourra, à défaut d’installer directement Caml Light ou OCaml à partir des sources, utiliser les distributions binaires natives suivantes.
    Mais pour une utilisation complète les outils de développement correspondants devraient aussi être installés.

            Binaires Caml Light pour Windows 11 arm64 : camllight_win11_arm64.zip

             Distribution binaire OCaml 4.13.1, pour Windows 10 ou 11, (179 Mo), munie de la bibliothèque numérique Zarith fondée sur MPIR,
             Distribution binaire OCaml 4.14.0, pour Windows 10 ou 11, (184,6 Mo), munie de la bibliothèque numérique Zarith fondée sur MPIR,
            obtenues à l’aide des outils de développement en ligne de commande de Microsoft de 2019
            (utilisable avec les outils de Visual Studio 2015 (vc 14.0) et suivants).

             Distribution binaire OCaml 4.13.1, pour Windows 10 ou 11, (205,5 Mo), munie de la bibliothèque numérique Zarith fondée sur GMP,
             Distribution binaire OCaml 4.14.0, pour Windows 10 ou 11, (211,5 Mo), munie de la bibliothèque numérique Zarith fondée sur GMP,
            obtenues à l’aide des outils de développement en ligne de commande MSY2-MINGW64 (x86_64-w64-mingw32-gcc 7.3.0).
    (fonctionne aussi avec la version 9.2.0 ...)
             Distribution binaire OCaml 5.0.0, pour Windows 10 ou 11, (236 Mo), munie de la bibliothèque numérique Zarith fondée sur GMP,
            obtenues à l’aide des outils de développement en ligne de commande MSY2-MINGW64 (x86_64-w64-mingw32-gcc 12.2.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
    Windows 10 devrait être muni des outils de développement en langage C et assembleur correspondants.

    Distribution binaire OCaml 4.13.1 pour GNU/Linux amd64 (184,3 Mo) avec bibliothèque numérique Zarith fondée sur GMP
    Distribution binaire OCaml 4.14.0 pour GNU/Linux amd64 (190,1 Mo) avec bibliothèque numérique Zarith fondée sur GMP
    Placer le répertoire amd64 contenu dans l'archive tel quel sous /opt au premier niveau.
    Cette distribution binaire devrait fonctionner avec toute plateforme GNU/Linux munie de glibc 2.17
    ou plus récente et des outils de développement en langages C et assembleur, mis à part quelques problèmes de PIE
    (Position Independent Executable) contournables en passant -ccopt -no-pie à ocamlopt.
    Elle devrait donc convenir à la plupart des distributions GNU/LINUX actuelles.
    Elle est incompatible, sauf bytecode, avec Debian Wheezy (__secure_getenv remplacé par secure_getenv dans glibc 2.17)

    Distribution binaire OCaml 4.14.0 pour Debian 11 (bullseye) arm64 (203 Mo) avec bibliothèque numérique Zarith fondée sur GMP
    Placer le répertoire arm64 contenu dans l'archive tel quel sous /opt au premier niveau.
    Devrait convenir aux distributions GNU/Linux récentes.
    Distribution binaire OCaml 5.0.0 pour Debian 11 (bullseye) arm64 (221,7 Mo) avec bibliothèque numérique Zarith fondée sur GMP
    Placer le répertoire arm64 contenu dans l'archive tel quel sous /opt au premier niveau.
    Devrait convenir aux distributions GNU/Linux récentes.
    Distribution binaire OCaml 5.0.0 pour Debian 11 (bullseye) amd64 (215,1 Mo) avec bibliothèque numérique Zarith fondée sur GMP
    Placer le répertoire amd64 contenu dans l'archive tel quel sous /opt au premier niveau.
    Devrait convenir aux distributions GNU/Linux récentes.


  • 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) (262 Mo) (macOS Big Sur, Monterey et Ventura)
    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.14.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.4
    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 ObjC pour Mac M1 (Apple Silicon) (19,1 Mo) (macOS Big Sur, Monterey et Ventura)
    Cet exemplaire de MacCaml peut remplacer celui qui est fourni dans l’archive précédente
    (Télécharger et installer d’abord l’archive précédente)

    Télécharger la version 7.0 de MacCaml 7.0 Swift pour Mac Intel (x86_64) (256,4 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.14.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.4
    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 7.0 de MacCaml 7.0 ObjC pour Mac Intel (x86_64) (19,1 Mo) (macOS Mojave ou plus récent)
    Cet exemplaire de MacCaml peut remplacer celui qui est fourni dans l’archive précédente
    (Télécharger et installer d’abord l’archive précédente)

    Télécharger la version 6.0 de MacCaml (14 Mo), ou sa variante Swift (18,6 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 (5,2 Mo)             (et éventuellement   exemples.zip   pour remplacer le sous-dossier exemples)

    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 archives proposent des distributions bytecode 4.08.1 d’OCaml
              On pourra aussi essayer les distributions OCaml 4.14.0 32 bits et 64 bits respectivement contenues dans les archives ocamlms.zip (160 Mo) et ocamlms64.zip (160 Mo) : placer le répertoire ocamlms (resp. ocamlms64) directement sous C:\
              Ces distributions bytecode peuvent nécessiter (en cas d’absence de MSVCR100.dll) l’installation d’un des paquets suivants:

    Redistribuable Visual Studio 2010 VC++

               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 et ocamlms.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.2) pour Debian Gnu Linux 11 (Bullseye) arm64 et autres distributions GNU/Linux arm64 récentes via Qt:

    WinCaml , Caml Light , OCaml pour GNU/Linux arm64 (248,8 Mo)
    Devrait convenir aux toutes dernières distributions Debian, Ubuntu, Kali, Fedora, openSUSE et Archlinux
    (cf. le fichier 'Alire' dans l’archive pour plus de détails)

  • WinCaml 7 (7.2) pour Windows 64, Debian Gnu Linux amd64 (Wheezy: 7, Jessie: 8, Stretch: 9, Buster: 10, Bullseye 11) 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, Buster, Bullseye, 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.


    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,8 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 (966 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 (8,3 Mo)

  • Mode Sombre de Mojave et MacCaml:


  • WinCaml 7.1 sous Windows 10: