From 061998b6db89480629ad41d33295a97f8ad84719 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 11 Jun 2019 03:49:31 +0200
Subject: [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
---
 coq-doc.opam | 51 +++++++++++++++++++++++----------------------------
 1 file changed, 23 insertions(+), 28 deletions(-)

(limited to 'coq-doc.opam')

diff --git a/coq-doc.opam b/coq-doc.opam
index 2f4072955f..67cdbd8bf0 100644
--- a/coq-doc.opam
+++ b/coq-doc.opam
@@ -1,3 +1,6 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "dev"
 synopsis: "The Coq Proof Assistant --- Reference Manual"
 description: """
 Coq is a formal proof management system. It provides
@@ -5,37 +8,29 @@ a formal language to write mathematical definitions, executable
 algorithms and theorems together with an environment for
 semi-interactive development of machine-checked proofs.
 
-This package provides the Coq Reference Manual.
-"""
-opam-version: "2.0"
-maintainer: "The Coq development team <coqdev@inria.fr>"
-authors: "The Coq development team, INRIA, CNRS, and contributors."
+This package provides the Coq Reference Manual."""
+maintainer: ["The Coq development team <coqdev@inria.fr>"]
+authors: ["The Coq development team, INRIA, CNRS, and contributors"]
+license: "OPL-1.0"
 homepage: "https://coq.inria.fr/"
+doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/coq/issues"
-dev-repo: "https://github.com/coq/coq.git"
-license: "Open Publication License"
-
-version: "dev"
-
 depends: [
-  "dune"      { build }
-  "coq"       { build & = version }
+  "dune" {build & >= "2.5.0"}
+  "coq" {build & = version}
 ]
-
-build-env: [
-  [ COQ_CONFIGURE_PREFIX = "%{prefix}" ]
-]
-
 build: [
-  [ "dune" "build" "-p" name "-j" jobs ]
-]
-
-# Would be better to have a *-conf package?
-depexts: [
-  [ "sphinx" ]
-  [ "sphinx_rtd_theme" ]
-  [ "beautifulsoup4" ]
-  [ "antlr4-python3-runtime"]
-  [ "pexpect" ]
-  [ "sphinxcontrib-bibtex" ]
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
 ]
+dev-repo: "git+https://github.com/coq/coq.git"
-- 
cgit v1.2.3