summaryrefslogtreecommitdiff
path: root/dev-java/jpfcodegen
diff options
context:
space:
mode:
authorPatrice Clement <monsieurp@gentoo.org>2016-01-05 09:05:55 +0000
committerPatrice Clement <monsieurp@gentoo.org>2016-01-05 09:05:55 +0000
commitc3dce08eba3989d9c79be47f75f76448aa476192 (patch)
tree7ff59225590c8365456e6a8cb1828110b4716b04 /dev-java/jpfcodegen
parentd1baa40304ba43201fb74dc3efffda68abd265b7 (diff)
downloadgentoo-c3dce08eba3989d9c79be47f75f76448aa476192.tar.gz
gentoo-c3dce08eba3989d9c79be47f75f76448aa476192.tar.bz2
gentoo-c3dce08eba3989d9c79be47f75f76448aa476192.zip
dev-java/{jpf,jpfcodegen}: Removal. Fixes bug 567580.
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Diffstat (limited to 'dev-java/jpfcodegen')
-rw-r--r--dev-java/jpfcodegen/Manifest1
-rw-r--r--dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild36
-rw-r--r--dev-java/jpfcodegen/metadata.xml8
3 files changed, 0 insertions, 45 deletions
diff --git a/dev-java/jpfcodegen/Manifest b/dev-java/jpfcodegen/Manifest
deleted file mode 100644
index a6157e49a569..000000000000
--- a/dev-java/jpfcodegen/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST jpfcodegen-0.4.tar.bz2 27201 SHA256 c88401b6d872bf52aeb473bda16a77fb51b2f0236a4fb88ba4847d1bde174699 SHA512 9af5de54621afc941ac56f463b76a31732d97ad4fbbeabf43772c27e91f0e8fdfe5c089fc1cd22b2ad0bbac88d624086c94d751110bc77348706b39cedd45897 WHIRLPOOL c7005df485de6694658444cabdbcfa5ce20b35fe563f253a5b213801e98ee19eae48087df688281edc5ffd6f99eb481478ade568c2da3fc49287ac7e6795fe49
diff --git a/dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild b/dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild
deleted file mode 100644
index cdecabd733e9..000000000000
--- a/dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit java-pkg-2 java-ant-2
-
-DESCRIPTION="Generator of classes for accessing the attributes and extensions of JPF plug-ins"
-HOMEPAGE="http://jabref.sourceforge.net/"
-
-SRC_URI="mirror://gentoo/${P}.tar.bz2"
-LICENSE="LGPL-3"
-
-SLOT="0"
-KEYWORDS="amd64 ~ppc x86"
-IUSE=""
-
-CDEPEND="dev-java/velocity:0
- dev-java/jpf:1.5"
-DEPEND=">=virtual/jdk-1.6
- app-arch/unzip
- ${CDEPEND}"
-RDEPEND=">=virtual/jre-1.6
- ${CDEPEND}"
-
-# doc target is name="-javadoc" and would need a patch, on demand
-EANT_BUILD_TARGET="jars"
-EANT_GENTOO_CLASSPATH="jpf-1.5,velocity"
-JAVA_ANT_REWRITE_CLASSPATH="true"
-
-src_install() {
- java-pkg_newjar JPFCodeGenerator-${PV}.jar JPFCodeGenerator.jar
- java-pkg_newjar JPFCodeGenerator-${PV}-rt.jar JPFCodeGenerator-rt.jar
- dohtml index.html
-}
diff --git a/dev-java/jpfcodegen/metadata.xml b/dev-java/jpfcodegen/metadata.xml
deleted file mode 100644
index 3a6d059d80ca..000000000000
--- a/dev-java/jpfcodegen/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <herd>java</herd>
- <upstream>
- <remote-id type="sourceforge">jabref</remote-id>
- </upstream>
-</pkgmetadata>