[opam] Update file to newer format and build system.

Using Dune in the OPAM file does allow to use some goodies such as
`dune-release` etc...

3 files changed, 18 insertions, 18 deletions

diff --git a/ltac2.opam b/ltac2.opam
index e69de29bb2..47ceb882b1 100644
--- a/ltac2.opam
+++ b/ltac2.opam
@@ -0,0 +1,18 @@
+synopsis:     "A Tactic Language for Coq."
+description:  "A Tactic Language for Coq."
+name:         "coq-ltac2"
+opam-version: "2.0"
+maintainer:   "Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>"
+authors:      "Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>"
+homepage:     "https://github.com/ppedrot/ltac2"
+dev-repo:     "https://github.com/ppedrot/ltac2.git"
+bug-reports:  "https://github.com/ppedrot/ltac2/issues"
+license:      "LGPL 2.1"
+doc:          "https://ppedrot.github.io/ltac2/doc"
+
+depends: [
+  "coq"           {          = "dev"      }
+  "dune"          { build & >= "1.9.0"    }
+]
+
+build: [ "dune" "build" "-p" name "-j" jobs ]
diff --git a/opam/descr b/opam/descr
deleted file mode 100644
index 82463c4f45..0000000000
--- a/opam/descr
+++ /dev/null
@@ -1 +0,0 @@
-A tactic language for Coq.
diff --git a/opam/opam b/opam/opam
deleted file mode 100644
index e461b97942..0000000000
--- a/opam/opam
+++ /dev/null
@@ -1,17 +0,0 @@
-opam-version: "1.2"
-name: "coq-ltac2"
-version: "0.1"
-maintainer: "Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>"
-author: "Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>"
-license: "LGPL 2.1"
-homepage: "https://github.com/ppedrot/ltac2"
-dev-repo: "https://github.com/ppedrot/ltac2.git"
-bug-reports: "https://github.com/ppedrot/ltac2/issues"
-build: [
-  [make "COQBIN=\"\"" "-j%{jobs}%"]
-]
-install: [make "install"]
-remove: [make "uninstall"]
-depends: [
-  "coq" { = "dev" }
-]