summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-12-19 11:30:54 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-12-19 13:07:27 +0100
commitb00c014a05c67c0a31495138019466e40a7d33d5 (patch)
treeaf8ccb1196f79df3b6a16d600ce31c78d6a01164 /dev-ml/iTeML
parentdev-ml/qcheck: readd since it is split again from iTeML. (diff)
downloadgentoo-b00c014a05c67c0a31495138019466e40a7d33d5.tar.gz
gentoo-b00c014a05c67c0a31495138019466e40a7d33d5.tar.bz2
gentoo-b00c014a05c67c0a31495138019466e40a7d33d5.zip
dev-ml/iTeML: bump to 2.5
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml/iTeML')
-rw-r--r--dev-ml/iTeML/Manifest1
-rw-r--r--dev-ml/iTeML/iTeML-2.5.ebuild31
-rw-r--r--dev-ml/iTeML/qtest.targets.log0
3 files changed, 32 insertions, 0 deletions
diff --git a/dev-ml/iTeML/Manifest b/dev-ml/iTeML/Manifest
index c0bf30982fa..13b0fba7f4e 100644
--- a/dev-ml/iTeML/Manifest
+++ b/dev-ml/iTeML/Manifest
@@ -2,3 +2,4 @@ DIST iTeML-2.0.1.tar.gz 38387 SHA256 ae6ff9d0fcc20b8e96a44517fb3641d5193c63169aa
DIST iTeML-2.2.tar.gz 50025 SHA256 c31e5449624fc6729a362cc73efe475b2965d2e602b69b3a06fab2b38ea18b36 SHA512 78fb71a00d785f7faf0faa08c988bdfffe755dc6554437c86c80a4e56d6fb001606c78159e23acf0230286167585d136754dda68f8d7486aef64b228cc69034d WHIRLPOOL 672ce047cd901cd38671cf6f1020bf5d4c6e7cd13b3af4138ebad2015ca7db54a558cbbbdbda66d2aacfb3a1c7f709de95808b8d193b9551660f60349e3f346b
DIST iTeML-2.3.tar.gz 51077 SHA256 749bec7a7f91a0ee4e86811f70e423319181a7d4f2bfcfcb718448020d2dfdd8 SHA512 ac83c18baf9d0cb9de027881356cfffd4cb7e698598cc85badd31ebfbfe2d21ff94d35bf9ac997b08c2a4eb88eded759708f2759a11c088a63fe3c79e3db3ed4 WHIRLPOOL 71ec844e9851ecbc27afbf8d6d0f31ec73064eee7752840c458492abad6e432c2e072fe3fc695c910fc5bbadc4fa9fac8cffd5cbdfed2df82d87c837a2899d73
DIST iTeML-2.4.tar.gz 51354 SHA256 46488f19c4df8b6ec6ca638084e4f18cb647e46fa536863e0fe29fac8f12b76c SHA512 38461ec3ba68b5823d43fa6f955e17bb456dacf7aec94a3195d73db15c42cc080acfd6d2b81bc2d730f84656da3fc2755a0916512e65520326f5bcd4cdcadf64 WHIRLPOOL 0282ab98d7b011568ddfe20f0eeeda991cf5e583b10bd756aeb75031ee6c55e24c37a57796f11e03fbfd83b3bc681ebd61a2ac17decb495aa4e4805f0cf46529
+DIST iTeML-2.5.tar.gz 33750 SHA256 3295853f8a17e6adb085c69bab0eddacdba11c1acc4ee2bdbae9f093239683c3 SHA512 b8a2f842f0076bdf3f30a71983f686b931ac3f7fde73ad83041dae1d33d8bca2c7695b71dcc53ef942fbdee7422e2e4d22994f69b70d54e2b4d62bc1c64395c9 WHIRLPOOL 45279bb9168fdfb6354723cd3bb950390390586a3959dd95adac54eebfabe835c1d85a77ae54f00aa36c41191e262714a86602472ad70c8e30aa289b283c3de9
diff --git a/dev-ml/iTeML/iTeML-2.5.ebuild b/dev-ml/iTeML/iTeML-2.5.ebuild
new file mode 100644
index 00000000000..ba27ce2dd47
--- /dev/null
+++ b/dev-ml/iTeML/iTeML-2.5.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="Inline (Unit) Tests for OCaml"
+HOMEPAGE="https://github.com/vincent-hugot/iTeML"
+SRC_URI="https://github.com/vincent-hugot/iTeML/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ dev-lang/ocaml:=[ocamlopt]
+ >=dev-ml/qcheck-0.5:=
+"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild
+"
+
+src_install() {
+ findlib_src_preinst
+ dodir /usr/bin
+ emake BIN="${ED}/usr/bin/" install
+ dodoc README.adoc HOWTO.adoc
+}
diff --git a/dev-ml/iTeML/qtest.targets.log b/dev-ml/iTeML/qtest.targets.log
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/dev-ml/iTeML/qtest.targets.log