ocaml.org

ocaml.org copied to clipboard

I currently use OCaml 4.07.1 (installed some years ago with the graphical installer of fdopen.github.io). I tried to install the 4.14.0 version with DkML 2.11, following instructions on page https://gitlab.com/dkml/distributions/dkml#installing. My user name containing a space ("Alain Coste"), I changed it to "Alain_Coste", using the Configuration Panel of Windows (before installing OCaml). But the installation of OCaml failed. More precisely:

• winget install Microsoft.VisualStudio..... succeeded
• winget install Git.Git succeeded
• winget install Diskuv.OCaml failed with code error 2 The installer seems to go on working on the .../Alain Coste directory, and not on the .../Alain_Coste directory.

The old directory C:\OCaml64 containing the 4.07.1 version still exists, and the 4.07 version still works. Nothing concerning the 4.14 version seems to have been created. The Path and OCAMLLIB environment variable sstill point to the 4.07 version.

The problem is that I cannot even try to reinstall OCaml 4.14 : if I try I get the message :

Un package existant a déjà été installé. Tentative de mise à niveau du package installé... Mise à niveau disponible introuvable. Aucune version de package plus récente n’est disponible à partir des sources configurées

On the other hand I cannot uninstall OCaml 4.14, as it does not appear in the list of installed applications in Windows. So I am stuck with an inexistent OCaml 4.14, which pretends to exist when I try to reinstall it ! Do you have a solution ? Thanks. Alain Coste