From 4ae4e74a3a13c7c5aaebf61e650538b005204fcb Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 19 Sep 2022 23:22:40 +0100 Subject: gentoo auto-resync : 19:09:2022 - 23:22:40 --- dev-ml/uuidm/Manifest | 2 ++ dev-ml/uuidm/uuidm-0.9.8.ebuild | 25 +++++++++++++++++++++++++ 2 files changed, 27 insertions(+) create mode 100644 dev-ml/uuidm/uuidm-0.9.8.ebuild (limited to 'dev-ml/uuidm') diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest index 09f89ef4c016..c88fe99060f7 100644 --- a/dev-ml/uuidm/Manifest +++ b/dev-ml/uuidm/Manifest @@ -1,3 +1,5 @@ DIST uuidm-0.9.7.tar.gz 9258 BLAKE2B 37867ee562fcf5c44e0f40df53707a5066d74c185037049b4b4034326e1efa93543d518f6c9d5d27e9663f18d824f951d27952c844e1169d951abb7b91caeebb SHA512 7048e467bbd9eefd19ca057caadcc8f634d4eae7642665a84df88f726df3fb849085613d75a485272b0d0e19c9041c560a8c864e780dbed29ff68e3cfa8ba3d4 +DIST uuidm-0.9.8.tar.gz 10079 BLAKE2B d441380dc3a4e326f777b2f9ed313cf3c27213ca5e1a02197fff40e3422df12a3451badf732b3dfae00eb8feb9fc72c137c9d5b0c20f7df4c17494d903e1b65c SHA512 af3ca7faa7eba04c4078ddc43eee6cd8a1e210127e18d1d97fbdd00b98729caab0b52a6a05c090061e05656ef321c5e07bab13113e656c5c8b5285f193f070a8 EBUILD uuidm-0.9.7.ebuild 546 BLAKE2B f6a36e882f59f263841c0eeb1d40fb5a777bebd19915e2fd7b87e080bc4e25a56c956e0ef9153978fd2b4b4fbfd65f33aaccfa65e3de039b0298a469e4686ffa SHA512 68433e0d29a868b6a7c8f27dd525b029462c77628ab6915e857edbb45fe677b8b727780bfc4d82da25e0876ab32499214cf266234aae79342eac82d321d9710a +EBUILD uuidm-0.9.8.ebuild 552 BLAKE2B 1cd3f9ade655b5652d6b3fc3ac168c5eba7dcd638ff0933854c8b9cc5e07e0226ceec8b1b6fa60b44a73ab25ea60ad72718f9ec3a81fdcac5ccddcdc0109efd6 SHA512 cf3841c62b6e86b712c08510f80c0723f12557e46b0a7304696f9e387d26fe5748c5ecb7c22413ff501c13c03eb8ecce7a0ef8dd557f5b2ee7021193367f092f MISC metadata.xml 312 BLAKE2B e0ec12a7753192a4714bf02e3f7fe15f896292480956811794b35ccc39fe96368591671bf580d43bf82ccb2a469e2139a80261c7972384e4e0fe092ea0448161 SHA512 e8f7ad1b8ae5e05c092ceb939523dc2bcdddd843e030ebb40f41d3e06942b36d39cdef02201bd850ab7e7261f44249e6bb376f0f9fcd4135c38ca8478597be89 diff --git a/dev-ml/uuidm/uuidm-0.9.8.ebuild b/dev-ml/uuidm/uuidm-0.9.8.ebuild new file mode 100644 index 000000000000..154a7d23edf4 --- /dev/null +++ b/dev-ml/uuidm/uuidm-0.9.8.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit opam + +DESCRIPTION="Universally unique identifiers (UUIDs) for OCaml" +HOMEPAGE="https://github.com/dbuenzli/uuidm/" +SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +BDEPEND=" + dev-ml/findlib[ocamlopt=] + dev-ml/ocamlbuild[ocamlopt=] + dev-ml/topkg +" + +src_compile() { + ocaml pkg/pkg.ml build || die +} -- cgit v1.2.3