From 79d50d43eba8a2310d4b2740dadce72db025fb6a Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Fri, 19 May 2017 17:15:49 +0100 Subject: [PATCH 1/2] topkg-jbuilder.0.1.0 - via opam-publish --- packages/topkg-jbuilder/topkg-jbuilder.0.1.0/descr | 4 ++++ packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam | 14 ++++++++++++++ packages/topkg-jbuilder/topkg-jbuilder.0.1.0/url | 2 ++ 3 files changed, 20 insertions(+) create mode 100644 packages/topkg-jbuilder/topkg-jbuilder.0.1.0/descr create mode 100644 packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam create mode 100644 packages/topkg-jbuilder/topkg-jbuilder.0.1.0/url diff --git a/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/descr b/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/descr new file mode 100644 index 00000000000..4c1c17eca65 --- /dev/null +++ b/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/descr @@ -0,0 +1,4 @@ +Helpers for using topkg with jbuilder + +Topkg-jbuilder exposes helpers for using topkg-care in projects using +Jbuilder. diff --git a/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam b/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam new file mode 100644 index 00000000000..caa78270737 --- /dev/null +++ b/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam @@ -0,0 +1,14 @@ +opam-version: "1.2" +maintainer: "jeremie@dimino.org" +authors: ["Jérémie Dimino"] +license: "BSD3" +homepage: "https://github.com/diml/topkg-jbuilder" +bug-reports: "https://github.com/diml/utop/topkg-jbuilder" +dev-repo: "git://github.com/diml/topkg-jbuilder.git" +build: [ + ["jbuilder" "subst"] {pinned} + ["jbuilder" "build" "-p" name "-j" jobs] +] +depends: [ + "jbuilder" {build & >= "1.0+beta7"} +] diff --git a/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/url b/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/url new file mode 100644 index 00000000000..48c5aa2e086 --- /dev/null +++ b/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/url @@ -0,0 +1,2 @@ +archive: "https://github.com/diml/topkg-jbuilder/releases/download/0.1.0/topkg-jbuilder-0.1.0.tbz" +checksum: "cb6f69448e9a88b0497532843f1db9f2" From 67af0378af369068de956248577fe74c8aee4201 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 22 May 2017 09:42:44 +0100 Subject: [PATCH 2/2] Add dependency on topkg --- packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam b/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam index caa78270737..7b4c7be48c4 100644 --- a/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam +++ b/packages/topkg-jbuilder/topkg-jbuilder.0.1.0/opam @@ -11,4 +11,5 @@ build: [ ] depends: [ "jbuilder" {build & >= "1.0+beta7"} + "topkg" ]