After finding the problem that the opam files don’t install properly because they didn’t set up the path to the plugins directory, it might make sense to let dune configure this as it sees fit and move the whole generation of the opam files into dune.
After finding the problem that the
opamfiles don’t install properly because they didn’t set up the path to the plugins directory, it might make sense to letduneconfigure this as it sees fit and move the whole generation of the opam files into dune.