diff options
| author | Emilio Jesus Gallego Arias | 2019-06-11 03:49:31 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-11-15 17:08:52 +0100 |
| commit | 061998b6db89480629ad41d33295a97f8ad84719 (patch) | |
| tree | 03a01da28b9c851dac8cdb9d09fb464cbee7eec8 /dev/doc | |
| parent | a118b906b3da7cb2e03a72f7a8079a7fc99c6f84 (diff) | |
[dune] [opam] Generate opam files automatically using Dune.
- closes #12376 : dune version is now consistent as suggested
- cc #12858 : coqide and coqide-server do no depend on ocamlfind
when built this way.
- closes #13372 : more precision in the license identifier
Diffstat (limited to 'dev/doc')
| -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: |