Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

installing OCaml with DkML #2667

Open
alaincoste opened this issue Aug 26, 2024 · 1 comment
Open

installing OCaml with DkML #2667

alaincoste opened this issue Aug 26, 2024 · 1 comment

Comments

@alaincoste
Copy link

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: 📋 Backlog
Development

No branches or pull requests

2 participants
@alaincoste and others