dev-embedded/pikdev: Remove last-rited pkg, #620698
authorMichał Górny <mgorny@gentoo.org>
Mon, 14 Aug 2017 07:27:38 +0000 (09:27 +0200)
committerMichał Górny <mgorny@gentoo.org>
Mon, 14 Aug 2017 07:28:20 +0000 (09:28 +0200)
dev-embedded/pikdev/Manifest [deleted file]
dev-embedded/pikdev/metadata.xml [deleted file]
dev-embedded/pikdev/pikdev-1.4.0.ebuild [deleted file]
profiles/package.mask

diff --git a/dev-embedded/pikdev/Manifest b/dev-embedded/pikdev/Manifest
deleted file mode 100644 (file)
index 5ac2e36..0000000
+++ /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 (file)
index 7db0c68..0000000
+++ /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>rafaelmartins@gentoo.org</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 (file)
index 64f50bb..0000000
+++ /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
-}
index 86466db909cdf797582061935f0e650dfddf0b13..b902a15acfd1abc962124755c41e5b636d33cdba 100644 (file)
@@ -427,11 +427,6 @@ media-plugins/vdr-tvguide
 # Not compatible with recent python versions (#619998). Removal in a month.
 net-misc/leapcast
 
-# Pacho Ramos <pacho@gentoo.org> (14 Jul 2017)
-# Rely on vulnerable webkit (#620698).
-# Removal in a month.
-dev-embedded/pikdev
-
 # Pacho Ramos <pacho@gentoo.org> (14 Jul 2017)
 # Dead for ages, relies on dead libs (#622010), you can move to moserial, cutecom or
 # minicom. Removal in 2 months.