Closed na4zagin3 closed 3 years ago
This PR have dune subst substitute version placeholder %%VERSION_NUM%% for opam pin with a workaround.
dune subst
%%VERSION_NUM%%
opam pin
Unfortunately dune exec -- satyrographos --version does not show a correct version. This problem will be addresses by a following ticket.
dune exec -- satyrographos --version
Cf. https://github.com/gfngfn/SATySFi/pull/167
This PR have
dune substsubstitute version placeholder%%VERSION_NUM%%foropam pinwith a workaround.Unfortunately
dune exec -- satyrographos --versiondoes not show a correct version. This problem will be addresses by a following ticket.Cf. https://github.com/gfngfn/SATySFi/pull/167