diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2025-07-12 22:13:19 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2025-07-12 22:13:19 +0200 |
| commit | 6f73124bb42edf552f291ff581029ebbeead8614 (patch) | |
| tree | 5bc9bc62bc2a0b2d117ebf602d2f5a926aaea443 /dev-ml/ppx_diff/ppx_diff-0.17.1.ebuild | |
| parent | 1122c33f8eb24da647c67053fbc1b835ef7a3a17 (diff) | |
| download | gentoo-6f73124bb42edf552f291ff581029ebbeead8614.tar.gz gentoo-6f73124bb42edf552f291ff581029ebbeead8614.tar.bz2 gentoo-6f73124bb42edf552f291ff581029ebbeead8614.zip | |
dev-ml/ppx_diff: add 0.17.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_diff/ppx_diff-0.17.1.ebuild')
| -rw-r--r-- | dev-ml/ppx_diff/ppx_diff-0.17.1.ebuild | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/dev-ml/ppx_diff/ppx_diff-0.17.1.ebuild b/dev-ml/ppx_diff/ppx_diff-0.17.1.ebuild new file mode 100644 index 000000000000..942265c932ab --- /dev/null +++ b/dev-ml/ppx_diff/ppx_diff-0.17.1.ebuild @@ -0,0 +1,31 @@ +# Copyright 2024-2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A PPX rewriter that genreates the implementation of [Ldiffable.S]." +HOMEPAGE="https://github.com/janestreet/ppx_diff" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64" +IUSE="+ocamlopt" + +# Jane Street Minor +JSM=$(ver_cut 1-2)* + +RDEPEND=" + >=dev-lang/ocaml-5 + =dev-ml/base-${JSM}:=[ocamlopt?] + =dev-ml/gel-${JSM}:=[ocamlopt?] + =dev-ml/ppx_compare-${JSM}:=[ocamlopt?] + =dev-ml/ppx_enumerate-${JSM}:=[ocamlopt?] + =dev-ml/ppx_jane-${JSM}:=[ocamlopt?] + =dev-ml/ppxlib_jane-${JSM}:=[ocamlopt?] + >=dev-ml/ppxlib-0.36.0:=[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" |