Patches de Caml-Light et OCaml

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 amd64 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.

Distribution binaire OCaml 5.0.0 pour macOS amd64 (190 Mo) avec bibliothèque numérique Zarith fondée sur GMP
Placer le répertoire ocaml-5.0.0 contenu dans l'archive tel quel sous /opt/amd64 au premier niveau.
Distribution binaire OCaml 5.0.0 pour macOS arm64 (194,8 Mo) avec bibliothèque numérique Zarith fondée sur GMP
Placer le répertoire ocaml-5.0.0 contenu dans l'archive tel quel sous /opt/arm64 au premier niveau.

Pour utiliser ces distributions avec MacCaml 7.0, installer ou réinstaller MacCaml 7.0 à partir d’une des archives ci-dessous
et remplacer au début du script MacCaml.app/Contents/Resources/camltoplevel 4.14.0 par 5.0.0 dans la ligne
OCAMLVERSION=4.14.0

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) (240,5 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) (17,8 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) (238,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.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)

Distributions sources officielles Caml-Light et OCaml

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:

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

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

Télécharger le dossier de WinCaml 7 (5,2 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)

Redistribuable Visual Studio 2010 VC++

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.

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,4 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

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.