DkML Native: descargar versiones anteriores

- Switch from the official MSYS2 msys2-base install, plus a set of MSYS2
- Special handling for Scoop package manager on Windows which comingles a
- Fixed: No longer need to do opam pin remove ... to install merlin and
- Plumb the number of cpus to the compiler jobs. [@edwintorok]
- Skip over cross-compiling support when no target ABIs specified.
- Overall shaved ~15 minutes from installation on a 3-CPU machine (80m instead
- Byte-code only installation.
That will be fast and simple and light, and is likely the best option for students.
The existing installer already ships with a functioning ocamlrun and standard library, and is "component"-based so pieces can be added or removed.
No Visual Studio, no MSYS2, no spending time compiling code during installation.
However a shim would need to be developed so that ocaml, ocamlc, utop, etc. work without setting required OCaml environment variables.
Almost all of this new byte-code only installation can be developed on macOS or Linux.
- Bump utop from 2.9.0 to 2.10.0.
- ocurrent ocaml/opam CI Docker image (a source of pins)
- dkml-runtime-common-native works with spaces in the Windows home directory
- Removed incorrect ptime.0.8.6 pin during dkml init; now ptime.1.1.0
- Create dune-project in Beyond Basics documentation alongside existing
- The dkml --build-type build type option will be removed next release.
It was
- Added Jane Street's base package to global utop.
In particular, base is
- Removed digestif.1.1.2+msvc pin since MSVC changes upstreamed to 1.1.3.
- The bytecode *.bc embedded in the installer is compiled with 4.14.0
- When using opam option setenv+= stop removing the environment file to
- Pin omd.1.3.1
- Print timestamp for many logging operations to aid performance comparisons
- base_bigstring.v0.15.0 for MSVC and MinGW (same in fdopen and esy).
- time_now.v0.15.0 for MSVC.
- core.v0.15.1 for MSVC.
- core_kernel.v0.15.0 for MSVC.
- alcotest.1.6.0 for MSVC.
- curly.0.2.0 for Windows and MSVC (pending release; already unblocked).
- base.v0.15.1 for MSVC 32-bit. Already merged; in v0.16~preview.127.22+307.