From ef343450c407d8c7e3ad4d94401772ad040834e6 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Wed, 3 Jun 2020 14:13:59 +0100
Subject: Update opam file to opam 2

---
 opam | 29 ++++++++++++++++++++---------
 1 file changed, 20 insertions(+), 9 deletions(-)

(limited to 'opam')

diff --git a/opam b/opam
index 598ca3f9..77df4612 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
-opam-version: "1.2"
+opam-version: "2.0"
 name: "sail"
-version: "0.12"
+version: "0.13"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
@@ -17,26 +17,37 @@ authors: [
 homepage: "http://www.cl.cam.ac.uk/~pes20/sail/"
 bug-reports: "https://github.com/rems-project/sail/issues"
 license: "BSD3"
-dev-repo: "https://github.com/rems-project/sail.git"
+dev-repo: "git+https://github.com/rems-project/sail.git"
 build: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "isail"]
 install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "install"]
 remove: [
   make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "uninstall"
 ]
 depends: [
-  "ocamlfind"
-  "ocamlbuild"
+  "ocaml" {>= "4.06.1"}
+  "ocamlfind" {build} 
+  "ocamlbuild" {build}
   "zarith"
-  "menhir"
+  "menhir" {build}
   "linenoise" {>= "1.1.0"}
-  "ott" {>= "0.28"}
+  "ott" {>= "0.28" & build}
   "lem" {>= "2018-12-14"}
   "linksem" {>= "0.3"}
-  "omd"
+  "omd" {>= "1.3.1"}
   "conf-gmp"
   "conf-zlib"
   "base64" {>= "3.1.0"}
   "yojson" {>= "1.6.0"}
   "pprint"
 ]
-available: [ocaml-version >= "4.06.1"]
+synopsis:
+  "Sail is a language for describing the instruction semantics of processors"
+description:
+  """Sail is a language for describing the instruction-set
+architecture (ISA) semantics of processors. Sail aims to provide a
+engineer-friendly, vendor-pseudocode-like language for describing
+instruction semantics. It is essentially a first-order imperative
+language, but with lightweight dependent typing for numeric types and
+bitvector lengths, which are automatically checked using Z3. It has
+been used for several papers, available from
+http://www.cl.cam.ac.uk/~pes20/sail/."""
-- 
cgit v1.2.3