diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2023-03-08 09:21:40 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-03-08 09:22:19 +0100 |
| commit | 1a163af4fcc1a48883ad25d038b87ecd1232cced (patch) | |
| tree | 84c7abf56abfc21d6c2b08bcf9377c8a664811f8 /dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild | |
| parent | e99b2734929d2875086f8088bf317b4c3c094f9e (diff) | |
| download | gentoo-1a163af4fcc1a48883ad25d038b87ecd1232cced.tar.gz gentoo-1a163af4fcc1a48883ad25d038b87ecd1232cced.tar.bz2 gentoo-1a163af4fcc1a48883ad25d038b87ecd1232cced.zip | |
dev-ml/ppx_blob: new package, add 0.7.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild')
| -rw-r--r-- | dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild b/dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild new file mode 100644 index 000000000000..44f72a5c6423 --- /dev/null +++ b/dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild @@ -0,0 +1,20 @@ +# Copyright 2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Include a file as a string at compile time" +HOMEPAGE="https://github.com/johnwhitington/ppx_blob" +SRC_URI="https://github.com/johnwhitington/${PN}/releases/download/${PV}/${P}.tbz" + +LICENSE="Unlicense" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt test" +RESTRICT="!test? ( test )" + +DEPEND="dev-ml/ppxlib:=" +RDEPEND="${DEPEND}" +BDEPEND="test? ( dev-ml/alcotest )" |