diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2023-10-07 16:53:37 +0200 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2023-10-07 17:01:51 +0200 |
| commit | 0dd820a7c4908943eaa4d0ab9d701339c1c99a7c (patch) | |
| tree | fe871484e95b75cbbeda7517ae6356f91d96b6d9 | |
| parent | app-emacs/company-mode: bump to 0.10.1 (diff) | |
| download | gentoo-0dd820a7c4908943eaa4d0ab9d701339c1c99a7c.tar.gz gentoo-0dd820a7c4908943eaa4d0ab9d701339c1c99a7c.tar.bz2 gentoo-0dd820a7c4908943eaa4d0ab9d701339c1c99a7c.zip | |
app-text/gentoo-dtd: new package, add 20230914, 99999999
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
| -rw-r--r-- | app-text/gentoo-dtd/Manifest | 1 | ||||
| -rw-r--r-- | app-text/gentoo-dtd/gentoo-dtd-20230914.ebuild | 49 | ||||
| -rw-r--r-- | app-text/gentoo-dtd/gentoo-dtd-99999999.ebuild | 49 | ||||
| -rw-r--r-- | app-text/gentoo-dtd/metadata.xml | 11 |
4 files changed, 110 insertions, 0 deletions
diff --git a/app-text/gentoo-dtd/Manifest b/app-text/gentoo-dtd/Manifest new file mode 100644 index 000000000000..77d39c1fa1bc --- /dev/null +++ b/app-text/gentoo-dtd/Manifest @@ -0,0 +1 @@ +DIST gentoo-dtd-20230914.tar.xz 6288 BLAKE2B 0b11fb7c34bf6be994242d93ae3a999d6490a177bcdd596d6b949a903c663fa66c75ea14d52e3d63ab19c806742be470570303c16ab656ce69e8a7406f38ef6c SHA512 29f8a12ddb2e9764c1d1eace26a4e7ae559c9001c32313e55708529a894a93a54c17c856e34589c016451a594deedb32279d282fbb9452b671089061a073bc71 diff --git a/app-text/gentoo-dtd/gentoo-dtd-20230914.ebuild b/app-text/gentoo-dtd/gentoo-dtd-20230914.ebuild new file mode 100644 index 000000000000..2f030b713978 --- /dev/null +++ b/app-text/gentoo-dtd/gentoo-dtd-20230914.ebuild @@ -0,0 +1,49 @@ +# Copyright 2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +if [[ ${PV} == 99999999 ]]; then + inherit git-r3 + EGIT_REPO_URI="https://anongit.gentoo.org/git/data/dtd.git" +else + # git archive --prefix=${P}/ HEAD | xz >${P}.tar.xz + SRC_URI="https://dev.gentoo.org/~ulm/distfiles/${P}.tar.xz" + KEYWORDS="~amd64 ~x86" +fi + +DESCRIPTION="Document Type Definition for Gentoo-related XML files" +HOMEPAGE="https://gitweb.gentoo.org/data/dtd.git/" + +# Presumably these simple DTDs are not copyrightable, +# but repositories.dtd says GPL v2 or later. +LICENSE="public-domain GPL-2+" +SLOT="0" + +RDEPEND="dev-libs/libxml2" +IDEPEND="${RDEPEND}" + +src_install() { + insinto /usr/share/xml/gentoo/dtd + doins *.dtd +} + +pkg_postinst() { + ebegin "Installing catalog entry" + xmlcatalog --noout \ + --add rewriteSystem "http://www.gentoo.org/dtd/" \ + "file://${EPREFIX}/usr/share/xml/gentoo/dtd/" \ + --add rewriteSystem "https://www.gentoo.org/dtd/" \ + "file://${EPREFIX}/usr/share/xml/gentoo/dtd/" \ + "${EROOT}"/etc/xml/catalog + eend $? +} + +pkg_postrm() { + ebegin "Cleaning catalog" + xmlcatalog --noout \ + --del "http://www.gentoo.org/dtd/" \ + --del "https://www.gentoo.org/dtd/" \ + "${EROOT}"/etc/xml/catalog + eend $? +} diff --git a/app-text/gentoo-dtd/gentoo-dtd-99999999.ebuild b/app-text/gentoo-dtd/gentoo-dtd-99999999.ebuild new file mode 100644 index 000000000000..2f030b713978 --- /dev/null +++ b/app-text/gentoo-dtd/gentoo-dtd-99999999.ebuild @@ -0,0 +1,49 @@ +# Copyright 2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +if [[ ${PV} == 99999999 ]]; then + inherit git-r3 + EGIT_REPO_URI="https://anongit.gentoo.org/git/data/dtd.git" +else + # git archive --prefix=${P}/ HEAD | xz >${P}.tar.xz + SRC_URI="https://dev.gentoo.org/~ulm/distfiles/${P}.tar.xz" + KEYWORDS="~amd64 ~x86" +fi + +DESCRIPTION="Document Type Definition for Gentoo-related XML files" +HOMEPAGE="https://gitweb.gentoo.org/data/dtd.git/" + +# Presumably these simple DTDs are not copyrightable, +# but repositories.dtd says GPL v2 or later. +LICENSE="public-domain GPL-2+" +SLOT="0" + +RDEPEND="dev-libs/libxml2" +IDEPEND="${RDEPEND}" + +src_install() { + insinto /usr/share/xml/gentoo/dtd + doins *.dtd +} + +pkg_postinst() { + ebegin "Installing catalog entry" + xmlcatalog --noout \ + --add rewriteSystem "http://www.gentoo.org/dtd/" \ + "file://${EPREFIX}/usr/share/xml/gentoo/dtd/" \ + --add rewriteSystem "https://www.gentoo.org/dtd/" \ + "file://${EPREFIX}/usr/share/xml/gentoo/dtd/" \ + "${EROOT}"/etc/xml/catalog + eend $? +} + +pkg_postrm() { + ebegin "Cleaning catalog" + xmlcatalog --noout \ + --del "http://www.gentoo.org/dtd/" \ + --del "https://www.gentoo.org/dtd/" \ + "${EROOT}"/etc/xml/catalog + eend $? +} diff --git a/app-text/gentoo-dtd/metadata.xml b/app-text/gentoo-dtd/metadata.xml new file mode 100644 index 000000000000..eee04478cf76 --- /dev/null +++ b/app-text/gentoo-dtd/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<maintainer type="person"> + <email>ulm@gentoo.org</email> +</maintainer> +<stabilize-allarches/> +<upstream> + <remote-id type="gentoo">data/dtd</remote-id> +</upstream> +</pkgmetadata> |