commit: 8d646d9d4fbf6954590ccc89a77b3ad783716ae7 Author: Michał Górny <mgorny <AT> gentoo <DOT> org> AuthorDate: Mon Aug 14 07:27:38 2017 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Mon Aug 14 07:28:20 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8d646d9d
dev-embedded/pikdev: Remove last-rited pkg, #620698 dev-embedded/pikdev/Manifest | 1 - dev-embedded/pikdev/metadata.xml | 13 ---------- dev-embedded/pikdev/pikdev-1.4.0.ebuild | 46 --------------------------------- profiles/package.mask | 5 ---- 4 files changed, 65 deletions(-) diff --git a/dev-embedded/pikdev/Manifest b/dev-embedded/pikdev/Manifest deleted file mode 100644 index 5ac2e36ca8d..00000000000 --- a/dev-embedded/pikdev/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST pikdev-1.4.0.tar.gz 923969 SHA256 d33a14548ef9c07e349414f7bf058a6cda95f101990979a3857a16d03e1945e4 SHA512 e3460b30b0e85020d96ae5949b2ae9dbf0fb6f7cc56fa6a46a41a60c83c4b6cb13988ce22c1d143fbfb4088a0195d319f10376a9101fbe182867573b7b626c6e WHIRLPOOL b18254ab7f53e721d46310438404db0ad20d1ea5f9d719684b91471665d7797e3b55cb8584624dd3d7cc07c1f8356b04aa9e1b3007a9bc2868d910d89556937d diff --git a/dev-embedded/pikdev/metadata.xml b/dev-embedded/pikdev/metadata.xml deleted file mode 100644 index 7db0c687a87..00000000000 --- a/dev-embedded/pikdev/metadata.xml +++ /dev/null @@ -1,13 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> -<pkgmetadata> - <maintainer type="person"> - <email>[email protected]</email> - <name>Rafael G. Martins</name> - </maintainer> - <longdescription lang="en"> - PiKdev is a simple graphic IDE for the development of PIC-based applications. - It currently supports assembly language. C language is also supported for PIC - 18 devices. PiKdev is developed in C++ under Linux. - </longdescription> -</pkgmetadata> diff --git a/dev-embedded/pikdev/pikdev-1.4.0.ebuild b/dev-embedded/pikdev/pikdev-1.4.0.ebuild deleted file mode 100644 index 64f50bb58dc..00000000000 --- a/dev-embedded/pikdev/pikdev-1.4.0.ebuild +++ /dev/null @@ -1,46 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit qt4-r2 eutils - -DESCRIPTION="Simple graphic IDE for the development of PIC-based applications" -HOMEPAGE="http://pikdev.free.fr/"; -SRC_URI="http://pikdev.free.fr/${P}.tar.gz"; - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="" - -DEPEND="dev-qt/qtcore:4 - dev-qt/qtgui:4 - dev-qt/qt3support:4 - dev-qt/qtwebkit:4" -RDEPEND="${DEPEND} - >=dev-embedded/gputils-1.0.0" - -S="${WORKDIR}/${P}/src" - -src_prepare() { - rm pkp.pro || die 'rm failed' # TODO: support pkp, maybe with a separated package - - qt4-r2_src_prepare -} - -src_install() { - qt4-r2_src_install - - doicon icons/256/pikdev-app-v4.png - make_desktop_entry pikdev 'PIKdev for Qt4' pikdev-app-v4 - dosym "${P}" "/usr/bin/${PN}" -} - -pkg_postinst() { - elog "Additional packages that you may want to install:" - elog - elog "- dev-embedded/cpik - C compiler for PIC18 devices" - elog "- dev-embedded/pk2cmd - Microchip PicKit2 PIC programmer support" - elog -} diff --git a/profiles/package.mask b/profiles/package.mask index 86466db909c..b902a15acfd 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -428,11 +428,6 @@ media-plugins/vdr-tvguide net-misc/leapcast # Pacho Ramos <[email protected]> (14 Jul 2017) -# Rely on vulnerable webkit (#620698). -# Removal in a month. -dev-embedded/pikdev - -# Pacho Ramos <[email protected]> (14 Jul 2017) # Dead for ages, relies on dead libs (#622010), you can move to moserial, cutecom or # minicom. Removal in 2 months. net-dialup/gtkterm
