From ba29d0c5bc3cc5a71e349ddfc3a43d8f30fd2b52 Mon Sep 17 00:00:00 2001 From: "Volkmar W. Pogatzki" Date: Tue, 11 Jun 2024 18:23:00 +0200 Subject: [PATCH] dev-lang/interprolog: rewrite with java-pkg-simple MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Volkmar W. Pogatzki Closes: https://github.com/gentoo/gentoo/pull/36770/commits/f5f48ba75dbb51ae9bb8914c79a698dbf41b1002 Signed-off-by: Miroslav Ć ulc --- dev-lang/interprolog/files/build.xml | 45 -------------- .../interprolog/interprolog-2.1.2-r3.ebuild | 60 +++++++++++++++++++ 2 files changed, 60 insertions(+), 45 deletions(-) delete mode 100644 dev-lang/interprolog/files/build.xml create mode 100644 dev-lang/interprolog/interprolog-2.1.2-r3.ebuild diff --git a/dev-lang/interprolog/files/build.xml b/dev-lang/interprolog/files/build.xml deleted file mode 100644 index a24536d8936d5..0000000000000 --- a/dev-lang/interprolog/files/build.xml +++ /dev/null @@ -1,45 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/dev-lang/interprolog/interprolog-2.1.2-r3.ebuild b/dev-lang/interprolog/interprolog-2.1.2-r3.ebuild new file mode 100644 index 0000000000000..f53ed5917e121 --- /dev/null +++ b/dev-lang/interprolog/interprolog-2.1.2-r3.ebuild @@ -0,0 +1,60 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +JAVA_PKG_IUSE="doc" + +inherit java-pkg-2 java-pkg-simple + +MY_P="${PN}$(ver_rs 1- '')" + +DESCRIPTION="InterProlog is a Java front-end and enhancement for Prolog" +HOMEPAGE="https://declarativa.com/InterProlog/" +SRC_URI="https://declarativa.com/InterProlog/${MY_P}.zip" +S="${WORKDIR}"/${MY_P} + +LICENSE="LGPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +BDEPEND="app-arch/unzip" + +DEPEND=" + dev-java/junit:0 + >=virtual/jdk-1.8:* + || ( + dev-lang/xsb + dev-lang/swi-prolog + dev-lang/yap )" + +RDEPEND=">=virtual/jre-1.8:*" + +HTML_DOCS=( INSTALL.htm faq.htm prologAPI.htm ) +PATCHES=( + "${FILESDIR}"/${P}-java1.4.patch + "${FILESDIR}"/${P}-java17.patch +) + +JAVA_CLASSPATH_EXTRA="junit" +JAVA_RESOURCE_DIRS="res" +JAVA_SRC_DIR="com" + +src_prepare() { + default #780585 + java-pkg-2_src_prepare + java-pkg_clean + rm -r htmldocs || die + mkdir res || die + find com -type f ! -name '*.java' \ + | xargs cp --parents -t res || die +} + +src_install() { + java-pkg-simple_src_install + + if use doc ; then + dodoc -r images + dodoc PaperEPIA01.doc + fi +}