search

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
36 stars 10 forks source link

Use `dune-build-info` rather than `dune subst` #215

Closed n-osborne closed 4 months ago

n-osborne commented 4 months ago

This PR proposes to move from dune subst to dune-build-info for the --version option.

The version number is stored in the dune-project file. It should be bumped before a new release.

I also propose to tag the development version with .dev. The idea is that if one wants more precise information about a far is the installed development version is from the last release, one can ask opam pin or just git.

n-osborne commented 4 months ago

Thanks. I didn't know that dune subst would change anything without watermarks. That's great!

I agree with the +dev, this is what shows up with opam anyway so I believe this is the way to go.

n-osborne commented 4 months ago

Thanks! Merging.