From 5be698d124cb3088285651132109903b80116235 Mon Sep 17 00:00:00 2001 From: Peter Zotov Date: Mon, 20 Oct 2014 21:56:31 +0400 Subject: [PATCH] Update opam file for opam 1.2. --- opam | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/opam b/opam index e364b6b..ce6c1a4 100644 --- a/opam +++ b/opam @@ -1,15 +1,23 @@ -opam-version: "1" +opam-version: "1.2" maintainer: "jeremie@dimino.org" authors: ["Jérémie Dimino"] -homepage: "https://github.com/diml/utop" license: "BSD3" +homepage: "https://github.com/diml/utop" +bug-reports: "https://github.com/diml/utop/issues" +dev-repo: "git://github.com/diml/utop.git" build: [ ["./configure" "--prefix" prefix "--%{camlp4:enable}%-camlp4"] [make] +] +install: [ [make "install"] ] -build-doc: [["ocaml" "setup.ml" "-doc"]] -remove: [["ocamlfind" "remove" "utop"]] +build-doc: [ + ["ocaml" "setup.ml" "-doc"] +] +remove: [ + ["ocamlfind" "remove" "utop"] +] depends: [ "ocamlfind" {>= "1.4.0"} "lambda-term" {>= "1.2"}