From 8d646d9d4fbf6954590ccc89a77b3ad783716ae7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Mon, 14 Aug 2017 09:27:38 +0200
Subject: [PATCH] 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(-)
 delete mode 100644 dev-embedded/pikdev/Manifest
 delete mode 100644 dev-embedded/pikdev/metadata.xml
 delete mode 100644 dev-embedded/pikdev/pikdev-1.4.0.ebuild

diff --git a/dev-embedded/pikdev/Manifest b/dev-embedded/pikdev/Manifest
deleted file mode 100644
index 5ac2e36ca8d3b..0000000000000
--- 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 7db0c687a873d..0000000000000
--- 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>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
index 64f50bb58dc13..0000000000000
--- 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 86466db909cdf..b902a15acfd1a 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -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.