OPAM files: write or generate
Yishuai Li <[email protected]> Thu, 23 Jun 2022 16:51:24 -0400
| Newsgroups | gmane.network.unison.devel |
|---|---|
| Message-ID | <CAFineUD6XX1MT5RL1C55XEJa7ewMg=U0dPn1u7uPuxPvi3drRw@mail.gmail.com> |
Dear hackers, In PR #671 I proposed to generate `unison.opam` from `dune-project` file instead of writing it by hand. The pending questions are: 1. Should the OPAM file be generated or written? and 2. If generated, should the OPAM file be checked into the Git repository? I hope to hear your thoughts on this. Thanks, Yishuai Li -- PR link: https://urldefense.com/v3/__https://github.com/bcpierce00/unison/pull/671__;!!IBzWLUs!SUNoWy4p3yUynwJKmFRpMr1MhPtrdNK7UUWuB5nMvkmVTXYMDEVDamuRaThI-KkGHEQBOtmjzt9o_8ER5i91leIGAws9egnz$