diff options
author | Mark Wright <gienah@gentoo.org> | 2020-10-13 16:28:58 +1100 |
---|---|---|
committer | Mark Wright <gienah@gentoo.org> | 2020-10-13 23:53:26 +1100 |
commit | d449b2e90e479eeb706754167f2658a2c96a83cc (patch) | |
tree | 0fac66a803ae3f620c8ec55024a8526ecb35161d /dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild | |
parent | dev-ml/integers: Bump to 0.4.0 (diff) | |
download | gentoo-d449b2e90e479eeb706754167f2658a2c96a83cc.tar.gz gentoo-d449b2e90e479eeb706754167f2658a2c96a83cc.tar.bz2 gentoo-d449b2e90e479eeb706754167f2658a2c96a83cc.zip |
dev-ml/jane-street-headers: Bump to 0.14.0
Co-Author: Alexis Ballier <aballier@gentoo.org>
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild')
-rw-r--r-- | dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild new file mode 100644 index 000000000000..bc24c70774d8 --- /dev/null +++ b/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild @@ -0,0 +1,18 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Jane Street header files" +HOMEPAGE="https://github.com/janestreet/jane-street-headers" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~x86" +IUSE="+ocamlopt" + +DEPEND="" +RDEPEND="${DEPEND}" |