diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-06-14 19:19:45 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-14 19:24:00 +0200 |
| commit | fa9415e475064c1d225cfc6eb32643928879aea9 (patch) | |
| tree | fb7bc35dd9aaeb3a86223ebfca88b644ec96a495 /dev-ml | |
| parent | dev-ml/ppx_stable_witness: add 0.17.0 (diff) | |
| download | gentoo-fa9415e475064c1d225cfc6eb32643928879aea9.tar.gz gentoo-fa9415e475064c1d225cfc6eb32643928879aea9.tar.bz2 gentoo-fa9415e475064c1d225cfc6eb32643928879aea9.zip | |
dev-ml/ppx_pipebang: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ppx_pipebang/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_pipebang/ppx_pipebang-0.17.0.ebuild | 22 |
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index 3da78098e74a..1c30aaf5faad 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1,3 +1,4 @@ DIST ppx_pipebang-0.14.0.tar.gz 3766 BLAKE2B a2e99dd5e27ddbca5d77b1c215757d8d0d2d54b53511f0db93a09a16c25b5c5e429a08c8d42c7e4843eeb23c346649dea5700c445afe176f4b1625340901b6c1 SHA512 b07004aef0865c877f8f814068b514298568078785586933f400350d1a1dae3eb4aafe1ba4f12e17a3e2a3945297162c4a725ebfbc153e80b412c6086019959a DIST ppx_pipebang-0.15.0.tar.gz 3759 BLAKE2B 6d2a45a4b803a777dcf055acccbea3e54a86458d01032efd01d204cf3426b496b9d91047216c11a424ef5e7ff92fc729d1ef8fb616f807c21f512be52013665a SHA512 778dae2cd6176f9ce18f20486e16f6f76e9137095759b29ddc10fee15d8a21f51fff94245c4a750ae68cd75edbd06b9cad6ff1b56aacb38ac9e6d7d71c0bf701 DIST ppx_pipebang-0.16.0.tar.gz 3755 BLAKE2B 2aa33958dd9b6abdaed4d38c7d627fa3cd1b0328bc01fc3eb8761ef9d60f9ba26b8be17975712d91c177fcf8c20e17da69c49ff676b2946a783e3674e30597c1 SHA512 b333d189c2705b3c7175af5636bd63c38ed434b3828227c7db8d2cb0fe9bd4caa05975d5d28d8fb4d61656bd3d7a15e2db2b36a1672107c1557c5012c19cb445 +DIST ppx_pipebang-0.17.0.tar.gz 3844 BLAKE2B 339014da374a108675b4efbf1c81b9c30ad811b291061cfc601f34c89baa3042d6e47713b475dab00aeb24edef9c3d76c7243d2c121839dc94360942cbce96cb SHA512 b8ca1cbd407227e749938ffb4ed4b6f9c1a17012ac34a30cbb73d4fd3ac025d1687f9449e7060950c03500dfc9df5037d147d5c06818a30a97febaa460e315f9 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.17.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.17.0.ebuild new file mode 100644 index 000000000000..dde098e5583b --- /dev/null +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.17.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" +HOMEPAGE="https://github.com/janestreet/ppx_pipebang" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64 ~riscv" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-5 + >=dev-ml/ppxlib-0.32.1:=[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" |