From 9d729b2136d60c3d579340a62105cac020bcdeb9 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 18 Jan 2019 18:05:01 -0600
Subject: [PATCH] chore: move to opam 2

---
 minismt.opam | 22 ++++++++++------------
 msat.opam    | 25 ++++++++++++-------------
 2 files changed, 22 insertions(+), 25 deletions(-)

diff --git a/minismt.opam b/minismt.opam
index a38b471a..0f2f75a4 100644
--- a/minismt.opam
+++ b/minismt.opam
@@ -1,24 +1,22 @@
-opam-version: "1.2"
+opam-version: "2.0"
 name: "minismt"
+synopsis: "Test library for msat"
 license: "Apache"
 version: "dev"
-author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
+author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
-build: ["jbuilder" "build" "@install" "-p" name]
-build-doc: ["jbuilder" "build" "@doc" "-p" name]
-install: ["jbuilder" "install" name]
-remove: ["jbuilder" "uninstall" name]
+build: [
+  ["dune" "build" "@install" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name] {with-doc}
+  ["dune" "runtest" "-p" name] {with-test}
+]
 depends: [
-  "ocamlfind" {build}
-  "jbuilder" {build}
+  "dune" {build}
   "dolmen"
   "msat"
 ]
-available: [
-  ocaml-version >= "4.03.0"
-]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/Gbury/mSAT"
-dev-repo: "https://github.com/Gbury/mSAT.git"
+dev-repo: "git+https://github.com/Gbury/mSAT.git"
 bug-reports: "https://github.com/Gbury/mSAT/issues/"
 
diff --git a/msat.opam b/msat.opam
index fb16c28a..b52afa20 100644
--- a/msat.opam
+++ b/msat.opam
@@ -1,23 +1,22 @@
-opam-version: "1.2"
+opam-version: "2.0"
 name: "msat"
+synopsis: "Library containing a SAT solver that can be parametrized by a theory"
 license: "Apache"
 version: "dev"
-author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
+author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
-build: ["jbuilder" "build" "@install" "-p" name]
-build-doc: ["jbuilder" "build" "@doc" "-p" name]
-install: ["jbuilder" "install" name]
-remove: ["jbuilder" "uninstall" name]
-depends: [
-  "ocamlfind" {build}
-  "jbuilder" {build}
-  "dolmen" {test & = "dev" }
+build: [
+  ["dune" "build" "@install" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name] {with-doc}
+  ["dune" "runtest" "-p" name] {with-test}
 ]
-available: [
-  ocaml-version >= "4.03.0"
+depends: [
+  "ocaml" { >= "4.03" }
+  "dune" {build}
+  "dolmen" {with-test & = "dev" }
 ]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/Gbury/mSAT"
-dev-repo: "https://github.com/Gbury/mSAT.git"
+dev-repo: "git+https://github.com/Gbury/mSAT.git"
 bug-reports: "https://github.com/Gbury/mSAT/issues/"