diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ppx_string/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_string/ppx_string-0.15.0.ebuild | 21 |
2 files changed, 22 insertions, 0 deletions
diff --git a/dev-ml/ppx_string/Manifest b/dev-ml/ppx_string/Manifest index fb237031a530..47c7f3ae3629 100644 --- a/dev-ml/ppx_string/Manifest +++ b/dev-ml/ppx_string/Manifest @@ -1 +1,2 @@ DIST ppx_string-0.14.1.tar.gz 4807 BLAKE2B 2ce5cf2d5dd913f05e66c24ea5be2ce4a56c59b7e5faecf003a573274bfaef3834935276e110fba1d0af3a3ef9d6ca730622dc780ab6063945a01aa3d6900a43 SHA512 2b570ca3d248f89ee1903e6ea40fbcd9c5c72809ff1f42dc67e9d41f6c297465ae47ffdbeda9f263dddf14c9c460bbbdee01243cef838d0ec49493c3b5644aee +DIST ppx_string-0.15.0.tar.gz 6071 BLAKE2B 06e4761732db5aa5ee0214c68ac8ff95a85a38e6d62abaa45cc630d19036b0ed38ec0198a45871068d8bcc4f40176ac072da67e8f339cef3be3d64ace7a22e69 SHA512 bb1819017a6c25d581854e8487a0e5535fe282ec421c91e662c310c0d0aa7704be65484b3f2e721b29409e0eb68f72528e60380e036af066b3b1f1f11ea6cd5e diff --git a/dev-ml/ppx_string/ppx_string-0.15.0.ebuild b/dev-ml/ppx_string/ppx_string-0.15.0.ebuild new file mode 100644 index 000000000000..35d16f26cc7e --- /dev/null +++ b/dev-ml/ppx_string/ppx_string-0.15.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Ppx extension for string interpolation" +HOMEPAGE="https://github.com/janestreet/ppx_string" +SRC_URI="https://github.com/janestreet/ppx_string/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/ppx_base:${SLOT} + dev-ml/stdio:${SLOT} +" +RDEPEND="${DEPEND}" |