You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's convenient to add a dune-project file at the root a non-dune project to ease release (good example: https://github.com/mirage/ocaml-solo5) - it'd be nice if the project name could also just be given on the command-line (and in that case, to not complain if a dune-project file is not present).
The text was updated successfully, but these errors were encountered:
Indeed! We'll remove the need for a dune-project file in 2.0.0 as it is only used to determine the tarball name. We'll use the name of the repository in dev-repo for this as the repo ultimately is what the tarball contains.
It's convenient to add a
dune-project
file at the root a non-dune project to ease release (good example: https://github.com/mirage/ocaml-solo5) - it'd be nice if the project name could also just be given on the command-line (and in that case, to not complain if adune-project
file is not present).The text was updated successfully, but these errors were encountered: