diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/stdio/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/stdio/stdio-0.9.1.ebuild | 22 |
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/stdio/Manifest b/dev-ml/stdio/Manifest index 8ea36c642e11..245d1f82c61b 100644 --- a/dev-ml/stdio/Manifest +++ b/dev-ml/stdio/Manifest @@ -1 +1,2 @@ DIST stdio-0.9.0.tar.gz 9264 SHA256 d0d429f0873bf7a9e37d2791443f4f3d4b74a4b5b7fee78489a567fdc92894d9 SHA512 a3809272c00653872d02b07b6c133215e06a70a7cbebed8c6c22ba5790ee8cbba17821da7875290c8869dfac22bf3cf248028e2aed2570195ca9b5f63b6ab75d WHIRLPOOL 9a9aa0af65091fe976528f0dabcb8a97443f4e403171df41af2c5dd579ce8202e81f98eebb561631821018d9dbdc820aa622349421de1c3f57632cee620598f0 +DIST stdio-0.9.1.tar.gz 9281 SHA256 45e9fb469cd1dd4de5e101add9e2205c52cd3393a677de683328d875ca3e9134 SHA512 bfef782562af7fae790b8baf02bf5d5edae2ccff29531080a608fd9224710c7d0a1a346c3480b6eaf4d7be1a280e19d9380a4dd9072de6d68e48ac419d275716 WHIRLPOOL 2ba6b87139ec8c8de72e9a7ae222b3cb90aba64bffa363bb239d0b5fb6abea02948165d1bbf131c224e68bd031b2252bc9dcfeb12137948ac41c83c859ac3009 diff --git a/dev-ml/stdio/stdio-0.9.1.ebuild b/dev-ml/stdio/stdio-0.9.1.ebuild new file mode 100644 index 000000000000..7e8b8d66be2b --- /dev/null +++ b/dev-ml/stdio/stdio-0.9.1.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit opam + +DESCRIPTION="Standard IO Library for OCaml" +HOMEPAGE="https://github.com/janestreet/stdio" +SRC_URI="https://github.com/janestreet/stdio/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc" +IUSE="" + +RDEPEND="dev-ml/base:= dev-ml/sexplib:=" +DEPEND="${RDEPEND} dev-ml/jbuilder" + +src_test() { + jbuilder runtest || die +} |