diff options
| author | Emilio Jesus Gallego Arias | 2018-10-04 19:05:44 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-05 14:22:02 +0200 |
| commit | edaf8d0a34993ac5fab373128a27417a620643d4 (patch) | |
| tree | c7ec1d231809eca0dee63e44c26e692626c09fd1 /coqide.opam | |
| parent | 4108c982aa68e16e94896768358b83047977480d (diff) | |
[dune] Refactor files following advice from upstream.
After some discussion upstream, I think that for the current a
multi-package setup in a single repository this setup saves a bit
work.
The most problematic bit is the `-rectypes` flag; its status is not
saved per-library so we must either duplicate the flags in the coqide
scope (scope == dune-project file), or unify its scope with Coq. We do
this last option as this seems like the easiest thing for now.
Changes:
- Move coqide.opam file to the root, use a single scope/`dune-project` file.
- Remove `dune-workspace`, this should be owned by the developer / user.
Diffstat (limited to 'coqide.opam')
| -rw-r--r-- | coqide.opam | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/coqide.opam b/coqide.opam new file mode 100644 index 0000000000..897177b283 --- /dev/null +++ b/coqide.opam @@ -0,0 +1,21 @@ +opam-version: "1.2" +maintainer: "The Coq development team <coqdev@inria.fr>" +authors: "The Coq development team, INRIA, CNRS, and contributors." +homepage: "https://coq.inria.fr/" +bug-reports: "https://github.com/coq/coq/issues" +dev-repo: "https://github.com/coq/coq.git" +license: "LGPL-2.1" + +available: [ocaml-version >= "4.05.0"] + +depends: [ + "dune" { build & >= "1.2.0" } + "coq" + "conf-gtksourceview" + "lablgtk" { >= "2.18.5" } +] + +build-env: [ + [ COQ_CONFIGURE_PREFIX = "%{prefix}" ] +] +build: [ [ "dune" "build" "-p" name "-j" jobs ] ] |