From fa543c75c57909b5ff34644492e7d4d9d7b54025 Mon Sep 17 00:00:00 2001 From: Martin Jambon Date: Sat, 2 Jun 2018 13:02:55 -0700 Subject: [PATCH] Upgrade obsolete features in opam files --- atd.opam | 10 +++------- atdgen-runtime.opam | 10 +++------- atdgen.opam | 10 +++------- atdj.opam | 10 +++------- 4 files changed, 12 insertions(+), 28 deletions(-) diff --git a/atd.opam b/atd.opam index cd3af9c5..58aba6dc 100644 --- a/atd.opam +++ b/atd.opam @@ -4,21 +4,17 @@ authors: ["Martin Jambon"] homepage: "https://github.com/mjambon/atd" bug-reports: "https://github.com/mjambon/atd/issues" -dev-repo: "https://github.com/mjambon/atd.git" +dev-repo: "git://github.com/mjambon/atd.git" build: [ ["jbuilder" "subst" "-n" name] {pinned} ["jbuilder" "build" "-p" name "-j" jobs] -] - -build-test: [ - ["jbuilder" "runtest" "-p" name] + ["jbuilder" "runtest" "-p" name] {with-test} ] depends: [ + "ocaml" {>= "4.02.3"} "jbuilder" {build} "menhir" {build} "easy-format" ] - -available: [ocaml-version >= "4.02.3"] diff --git a/atdgen-runtime.opam b/atdgen-runtime.opam index 9c13a55c..310f329e 100644 --- a/atdgen-runtime.opam +++ b/atdgen-runtime.opam @@ -4,21 +4,17 @@ authors: ["Martin Jambon"] homepage: "https://github.com/mjambon/atd" bug-reports: "https://github.com/mjambon/atd/issues" -dev-repo: "https://github.com/mjambon/atd.git" +dev-repo: "git://github.com/mjambon/atd.git" build: [ ["jbuilder" "subst" "-n" name] {pinned} ["jbuilder" "build" "-p" name "-j" jobs] -] - - build-test: [ - ["jbuilder" "runtest" "-p" name] + ["jbuilder" "runtest" "-p" name] {with-test} ] depends: [ + "ocaml" {>= "4.02.3"} "jbuilder" {build} "biniou" {>= "1.0.6"} "yojson" {>= "1.2.1" } ] - -available: [ocaml-version >= "4.02.3"] diff --git a/atdgen.opam b/atdgen.opam index ebdcbc8a..45bc21e6 100644 --- a/atdgen.opam +++ b/atdgen.opam @@ -4,23 +4,19 @@ authors: ["Martin Jambon"] homepage: "https://github.com/mjambon/atd" bug-reports: "https://github.com/mjambon/atd/issues" -dev-repo: "https://github.com/mjambon/atd.git" +dev-repo: "git://github.com/mjambon/atd.git" build: [ ["jbuilder" "subst" "-n" name] {pinned} ["jbuilder" "build" "-p" name "-j" jobs] -] - -build-test: [ - ["jbuilder" "runtest" "-p" name] + ["jbuilder" "runtest" "-p" name] {with-test} ] depends: [ + "ocaml" {>= "4.02.3"} "jbuilder" {build} "atd" {>= "1.13.0"} "atdgen-runtime" "biniou" {>= "1.0.6"} "yojson" {>= "1.2.1" } ] - -available: [ocaml-version >= "4.02.3"] diff --git a/atdj.opam b/atdj.opam index aef79443..8a3f8adf 100644 --- a/atdj.opam +++ b/atdj.opam @@ -4,20 +4,16 @@ authors: ["Martin Jambon"] homepage: "https://github.com/mjambon/atd" bug-reports: "https://github.com/mjambon/atd/issues" -dev-repo: "https://github.com/mjambon/atd.git" +dev-repo: "git://github.com/mjambon/atd.git" build: [ ["jbuilder" "subst" "-n" name] {pinned} ["jbuilder" "build" "-p" name "-j" jobs] -] - -build-test: [ - ["jbuilder" "runtest" "-p" name] + ["jbuilder" "runtest" "-p" name] {with-test} ] depends: [ + "ocaml" {>= "4.02.3"} "jbuilder" {build} "atd" {>= "1.13.0"} ] - -available: [ocaml-version >= "4.02.3"]