diff options
| author | coqbot-app[bot] | 2020-11-15 18:23:36 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-15 18:23:36 +0000 |
| commit | 41523921f8838f09ba2365d2083b31143ba35517 (patch) | |
| tree | dd72ab02774f628ae4e70e6e73dafaf3b98f2fa8 /dev | |
| parent | 5ec45d7206688da51ea325ab8692566e403808d8 (diff) | |
| parent | 061998b6db89480629ad41d33295a97f8ad84719 (diff) | |
Merge PR #13374: [dune] [opam] Generate opam files automatically using Dune.
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/build-system.dune.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/doc/build-system.dune.md b/dev/doc/build-system.dune.md index 8b0bf216e3..de3d5a3d15 100644 --- a/dev/doc/build-system.dune.md +++ b/dev/doc/build-system.dune.md @@ -175,6 +175,12 @@ local copy of Coq. For this purpose, Dune supports the `-p` option, so version of Coq libs, and use a "release" profile that for example enables stronger compiler optimizations. +## OPAM file generation + +`.opam` files are automatically generated by Dune from the package +descriptions in the `dune-project` file; see Dune's manual for more +details. + ## Stanzas `dune` files contain the so-called "stanzas", that may declare: |