Stephen Sherratt

Results 103 issues of Stephen Sherratt

Solving on linux or macos with a dependency on `(ocaml-base-compiler (= 5.2.0))` now gives the error: ``` Error: Unable to solve dependencies for the following lock directories: Lock directory dune.lock:...

package management

Toolchains refers to a feature where dune downloads and builds ocaml compiler packages using an alternative mechanism to regular dune package management. Toolchains are installed into $XDG_CACHE_DIR/dune/toolchains/. Both the ocaml-base-compiler...

package management

Fixes https://github.com/ocaml/dune/issues/10592. Solves an issue where the solver would choose unstable releases of the compiler. When the latest version of the "ocaml" package can only be satisfied by unstable versions...

package management

If lockfiles exist and these are out of date, this PR runs the solver again to re-create the lock directory. This is a copy of @Leonidas-from-XIV's PR https://github.com/ocaml/dune/pull/10546, but targeting...

package management

My dune-workspace: ``` (lang dune 3.15) (lock_dir (repositories upstream)) (repository (name upstream) (source "git+https://github.com/ocaml/opam-repository")) ``` Running `dune pkg lock` gives the error: ``` Internal error, please report upstream including the...

bug
package management

Sometimes versions of the compiler that are not officially released are released on opam. At the time of writing, the latest officially released version of ocaml is 5.2.0, however the...

package management

This can lead to problems such as https://github.com/ocaml/dune/issues/10592 where the solver chooses development versions of packages. There is an issue to address this upstream in opam-0install-solver (which dune vendors): https://github.com/ocaml-opam/opam-0install-solver/issues/23...

package management

This prints a warning if any directory which is a descendant of a rule target specified with `(source_tree ...)` is not copied to the build directory.

This lets you generate an opam file with an `available` field.

package management