diff options
Diffstat (limited to 'dev-ml/cppo')
| -rw-r--r-- | dev-ml/cppo/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/cppo/cppo-1.4.1.ebuild | 6 | ||||
| -rw-r--r-- | dev-ml/cppo/cppo-1.5.0.ebuild | 6 | ||||
| -rw-r--r-- | dev-ml/cppo/cppo-1.6.7.ebuild | 19 | ||||
| -rw-r--r-- | dev-ml/cppo/metadata.xml | 4 |
5 files changed, 32 insertions, 4 deletions
diff --git a/dev-ml/cppo/Manifest b/dev-ml/cppo/Manifest index 410e4a1dd11f..0bffe4809f11 100644 --- a/dev-ml/cppo/Manifest +++ b/dev-ml/cppo/Manifest @@ -1,3 +1,4 @@ DIST cppo-1.4.1.tar.gz 26547 BLAKE2B a93802fb36cfb622de32a00f6ad6d0fbc7c1022a65ab70558273654b817ca16a988fb8ce8c5dd0751e80eef066f3fcb82f25fc572edb312f346cd20830c08f5a SHA512 efbc82d2eb31b9e16c43ffbd7a2a56a5356934c32bee62205f55295a9342e4747ce13b9ad6572f3180e656b215a9255d402712ff7bae1ef9e8eccdabb2d00c16 DIST cppo-1.5.0.tar.gz 26963 BLAKE2B 4118637bd8bcfc2edae4c7bf0d839b82ba3402c2f4df9de81bcb28685e4112ff364cb607dc9dcdc3512cc4fdf8dfb4cb85ceca945230bd7cd5d04e525d4e6587 SHA512 2cc144815b818242b6bb1dee213aa65345620eaf1afe59b25d118399d9a02d577aa9dc61dd5756661e44411acccdb2fc0320a8984e5f0d2a7390fcc816bac7e0 DIST cppo-1.6.6.tar.gz 28667 BLAKE2B 57510ff824265065d4c4ba7d3da4b9aea389e005de4f2e73c1b43b230082872be0118e0b40d6c2951d4017210522a06eb089ab5cbb18fb48d29b87736fa59055 SHA512 80b0d7a5f0f5b7d9d62ddfb204ebf5e3216c2926ba7f667b9ef10981de6a51cd6d670b7062769bf6fbdd163c1c8fb5426a74c31234ddc03ec94a75645bf469da +DIST cppo-1.6.7.tar.gz 29032 BLAKE2B cc02666ca5fbc903cf6a749ee08f7fe34bad4604635084bbf964afdde66783c01e3d48d515eb42a5188189fef67ebe7cf79c0205c60537c9d1a8b14f453fd248 SHA512 fb2865b4004fe3f17d5893659fca90c01557cf6be789500c54b06ac8e0d097181c9f6437f178aae6d786b3f6b639859bc68400f4a7c59e7acd4f296cf8271a9d diff --git a/dev-ml/cppo/cppo-1.4.1.ebuild b/dev-ml/cppo/cppo-1.4.1.ebuild index 18d3d147db70..65bf1540ad29 100644 --- a/dev-ml/cppo/cppo-1.4.1.ebuild +++ b/dev-ml/cppo/cppo-1.4.1.ebuild @@ -1,7 +1,7 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI="5" +EAPI=7 inherit findlib @@ -21,9 +21,11 @@ DEPEND="${RDEPEND}" src_install() { findlib_src_preinst + mkdir -p "${ED}"/usr/bin emake PREFIX="${ED}"/usr install dodoc README.md Changes + if use examples ; then dodoc -r examples docompress -x /usr/share/doc/${PF}/examples diff --git a/dev-ml/cppo/cppo-1.5.0.ebuild b/dev-ml/cppo/cppo-1.5.0.ebuild index d16d80166de9..0094683e1491 100644 --- a/dev-ml/cppo/cppo-1.5.0.ebuild +++ b/dev-ml/cppo/cppo-1.5.0.ebuild @@ -1,7 +1,7 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI="5" +EAPI=7 inherit findlib @@ -27,9 +27,11 @@ src_compile() { src_install() { findlib_src_preinst + mkdir -p "${ED}"/usr/bin emake PREFIX="${ED}"/usr BEST="$(usex ocamlopt '.native' '.byte')" install dodoc README.md Changes + if use examples ; then dodoc -r examples docompress -x /usr/share/doc/${PF}/examples diff --git a/dev-ml/cppo/cppo-1.6.7.ebuild b/dev-ml/cppo/cppo-1.6.7.ebuild new file mode 100644 index 000000000000..2ceba92466f3 --- /dev/null +++ b/dev-ml/cppo/cppo-1.6.7.ebuild @@ -0,0 +1,19 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="An equivalent of the C preprocessor for OCaml programs" +HOMEPAGE="https://github.com/ocaml-community/cppo/" +SRC_URI="https://github.com/ocaml-community/cppo/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +SLOT="0/${PV}" +LICENSE="BSD" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +RDEPEND="dev-ml/ocamlbuild + dev-ml/findlib:=" +DEPEND="${RDEPEND}" diff --git a/dev-ml/cppo/metadata.xml b/dev-ml/cppo/metadata.xml index 320757d2589e..a592325f3a84 100644 --- a/dev-ml/cppo/metadata.xml +++ b/dev-ml/cppo/metadata.xml @@ -1,6 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <maintainer type="person"> <email>gienah@gentoo.org</email> <name>Mark Wright</name> |