Alas, I will need the OCaml compiler on an array of Windows machines. The installation procedure with Diskuv is very long and I am not even sure I would have the sufficient authorisations to run it on said computers. However, I do not actually need the opam, dune, etc. machinery : just the ocaml RE…

In principle, that approach would probably work as long as you used the exact same paths on all machines. Additionally, you would need to add DiskuvOCamlHome and DiskuvOCamlVersion to the environment variables, in addition to two directories prefixed to the PATH environment variables. But I see two…

DKML uses Visual Studio. That is explained in GitHub - diskuv/dkml-installer-ocaml: The Windows-friendly distribution of OCaml (first paragraph), with alternatives if that is not your cup of tea.

You may want to have a look at the README.win32.adoc file in the source distribution, e.g. this table indicates what you need depending on what you want.

From that page, The native-code compiler (ocamlopt ) and static linking of OCaml bytecode with C code (ocamlc -custom ) require a Microsoft Visual C/C++ Compiler and the flexlink tool (see above ). But @ysalmon you mentioned you need only ocaml (REPL) and ocamlc (bytecode compiler)? If that’s rea…

@yawaramin is right; totally missed that you are only talking about the bytecode. ( @dbuenzli 's link has good info, even if it looks terribly outdated.) If you stick to copying that it should work without Visual Studio. And file a ticket at Issues · diskuv/dkml-installer-ocaml · GitHub . For example…

Thank you so much everybody ! I was aware Visual Studio was used by DKML to compile the OCaml compiler ; I was not aware the resulting ocaml.exe and ocamlc.exe would also need it to run. The context is a light course where we use OCaml for an introduction to functional programming : our lab sessio…

I see that OCaml for Windows - Installation , while being announced as discontinued since Aug 2021, still allows to get a 4.14.0 compiler, which is entirely sufficient (and so much better than the 4.0.1 which is currently available at our lab). Which one can run from Windows by saying C:\OCaml64\usr…

Vous êtes professeur à Rennes semble-t-il (désolé si c’est incorrect …) Connaissez-vous la Page web de Jean Mouric ? Il serait professeur de mathématiques à Rennes et propose depuis de nombreuses années des distributions binaires OCaml pour Windows 10 ou 11 x64, GNU/Linux et MacOS. Et ces distri…

The https://jean-mouric.pagesperso-orange.fr/archives/ocamlmgw64-win10-4140.zip works well as long as you unzip it directly in your C:\ drive root directory. And it looks well maintained. It has graphics and zarith bundled as well. Seems like a great option for your use case!

Precompiling OCaml for Windows

Ecosystem

brab January 21, 2023, 11:10am 13

For the record, there is a “for-teachers” channel in the OCaml discord (OCaml). You might also find some help there.

Topic		Replies	Views
[ANN] Windows-friendly OCaml 4.12 distribution - Diskuv OCaml 0.1.0 Ecosystem docker , announce , windows , dkml	26	5974	November 1, 2022
Installing on Windows Ecosystem windows , diskuv	10	1430	December 22, 2022
Improving windows install time Ecosystem	14	1758	January 4, 2023
[ANN] Windows-friendly OCaml 4.12 distribution 2nd preview release (0.2.0) Ecosystem announce , windows , dkml	5	1924	November 22, 2021
[ANN] Diskuv OCaml 1.2.0 (Windows, MSVC) Ecosystem announce , windows , dkml	0	647	January 25, 2023

Precompiling OCaml for Windows

Related topics