summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-05-26 11:59:44 +0200
committerAlexis Ballier <aballier@gentoo.org>2016-05-26 12:03:47 +0200
commitba3adb18e96eb1a13668d12c34b7c0f9d51b7d55 (patch)
tree985c6422bd9f3f581302a48a3bb40294179fa324 /dev-ml
parentdev-ml/ocaml-sqlite3: bump to 4.0.4 (diff)
downloadgentoo-ba3adb18e96eb1a13668d12c34b7c0f9d51b7d55.tar.gz
gentoo-ba3adb18e96eb1a13668d12c34b7c0f9d51b7d55.tar.bz2
gentoo-ba3adb18e96eb1a13668d12c34b7c0f9d51b7d55.zip
dev-ml/deriving: bump to 0.7.1
Package-Manager: portage-2.3.0_rc1
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/deriving/Manifest1
-rw-r--r--dev-ml/deriving/deriving-0.7.1.ebuild36
2 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/deriving/Manifest b/dev-ml/deriving/Manifest
index fa17edea5b14..a72ad58c5e27 100644
--- a/dev-ml/deriving/Manifest
+++ b/dev-ml/deriving/Manifest
@@ -1,2 +1,3 @@
DIST deriving-0.6.2.tar.gz 62722 SHA256 467995a27ad84ef70289bf168507741c635aa1c839c450f20671f93e469a9968 SHA512 f5e14737af085e0f9d2b6a7981d9f63435750fb9cf32401eeaf7f700d0e222e1e5ec647d8a552f8c16ad136da19396d4aea8e739ecf179a6c8ba09b035497fc1 WHIRLPOOL c1f29cfc18e6676a9469b655f202ebab1b6b86c7d867ba3061ac9a07279885d07b5d3a19a3f2766dc8d2a5f9d021c24e82cf71cf08fdb0a84ddb135c475dace4
+DIST deriving-0.7.1.tar.gz 68550 SHA256 4794d455cb65d053fbbd49f94b1eb70c1b577dad9e4c277e5292086e13ea299b SHA512 d4c4b38321f2fc5ed1a9ea7910ec4fae15b08485ae9067048a609d5b9d76188da02995cd18a034c561494cdd3aa8dbb57a1a1c69918b1f79d70f89c96a26d342 WHIRLPOOL 2af7f1a94d891345264021a081b04cd31fd5460e9f2423746370371385407b3b65284269b79b1f21315fcb3dcdd17503c292d0c159b947bb02c883c0aac28f1e
DIST deriving-0.7.tar.gz 68471 SHA256 0a26763f8579a558fb3bbc8268bd009208165131b66afd5b5c03e0cff73f2e6c SHA512 c473106aeb36888ff80070ce3646f19a603cee15dcc8d702efdb3d6ac91dd409e94fa36940cb6289004238c130631efe680344324904815c2bf380f28a6c3b79 WHIRLPOOL 9c35cc69fe17f3a0178f8907a66cf610d6c234e11fa7041171a490858ab7542d632ea2e97da08a97d6cbdce0fd322433d577d513dd160b816efd839a0dce01d5
diff --git a/dev-ml/deriving/deriving-0.7.1.ebuild b/dev-ml/deriving/deriving-0.7.1.ebuild
new file mode 100644
index 000000000000..f1f025a24037
--- /dev/null
+++ b/dev-ml/deriving/deriving-0.7.1.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+OASIS_BUILD_TESTS=1
+
+inherit oasis
+
+DESCRIPTION="A deriving library for Ocsigen"
+HOMEPAGE="https://github.com/ocsigen/deriving"
+SRC_URI="https://github.com/ocsigen/deriving/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ >=dev-ml/type-conv-108:=
+ dev-ml/optcomp:=
+ dev-ml/findlib:=
+ dev-ml/camlp4:=
+"
+DEPEND="${RDEPEND}
+ dev-ml/oasis"
+
+DOCS=( CHANGES README.md )
+oasis_configure_opts="--enable-tc"
+OASIS_SETUP_COMMAND="./setup.exe"
+
+src_configure() {
+ emake setup.exe
+ oasis_src_configure
+}