Adding metadata

7 files changed, 0 insertions, 153 deletions

diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
deleted file mode 100644
index 1f4f7e2da28c..000000000000
--- a/app-emacs/proofgeneral/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST proofgeneral-4.5.tar.gz 1198535 BLAKE2B 24f93200d01752fb358ac88531b4b34392b7b968c7dbd7a7b3dcedfe71fa985ca893465bff503e3fc0efd267faeb3f5d8bd3d35f68847a4c90252e3a0bdd456b SHA512 ab2eed43053e3b6749e840a8d742058eaa91bfff7edbe12ea67bc492ffab07e1d77cf6a7772cb8c42ac73cae2cce65b48898b1cd10a77b906089768f8055b366
diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el
deleted file mode 100644
index 4839b17f1f58..000000000000
--- a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el
+++ /dev/null
@@ -1,2 +0,0 @@
-(add-to-list 'load-path "@SITELISP@/generic")
-(require 'proof-site)
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch b/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch
deleted file mode 100644
index 56937b8394c2..000000000000
--- a/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch
+++ /dev/null
@@ -1,14 +0,0 @@
---- PG-4.4-orig/etc/desktop/proofgeneral.desktop
-+++ PG-4.4/etc/desktop/proofgeneral.desktop
-@@ -4,9 +4,9 @@
- Name=Proof General
- GenericName=Theorem proving environment
- Comment=Organise your proofs!
--Icon=proofgeneral.png
-+Icon=proofgeneral
- TryExec=proofgeneral
- Exec=proofgeneral %F
- Terminal=false
--Categories=Application;IDE;Development;TextEditor;Math
-+Categories=IDE;Development;TextEditor;Math
- StartupWMClass=Emacs
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.5-paths.patch b/app-emacs/proofgeneral/files/proofgeneral-4.5-paths.patch
deleted file mode 100644
index f6213dfdc865..000000000000
--- a/app-emacs/proofgeneral/files/proofgeneral-4.5-paths.patch
+++ /dev/null
@@ -1,19 +0,0 @@
-index 85819882..f69d5f6d 100644
---- a/generic/proof-site.el
-+++ b/generic/proof-site.el
-@@ -118,13 +118,13 @@ Falls back to consulting the environment variable `PROOFGENERAL_HOME' if
- proof-site.el couldn't know where it was executed from.")
- 
- (defcustom proof-images-directory
--  (expand-file-name "images/" proof-home-directory)
-+  (expand-file-name "@SITEETC@/images/")
-     "Where Proof General image files are installed.  Ends with slash."
-   :type 'directory
-   :group 'proof-general-internals)
- 
- (defcustom proof-info-directory
--  (expand-file-name "doc/" proof-home-directory)
-+  (expand-file-name "@EPREFIX@/usr/share/info/")
-   "Where Proof General Info files are installed.  Ends with slash."
-   :type 'directory
-   :group 'proof-general-internals)
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.5-posix-no-which.patch b/app-emacs/proofgeneral/files/proofgeneral-4.5-posix-no-which.patch
deleted file mode 100644
index cd1ed1529407..000000000000
--- a/app-emacs/proofgeneral/files/proofgeneral-4.5-posix-no-which.patch
+++ /dev/null
@@ -1,40 +0,0 @@
-From 2dac06d9e3f8e66f1619585c86f05a538a75de08 Mon Sep 17 00:00:00 2001
-From: =?UTF-8?q?Ulrich=20M=C3=BCller?= <ulm@gentoo.org>
-Date: Mon, 24 Feb 2025 19:29:48 +0100
-Subject: [PATCH] Makefile: Replace "which" by POSIX "command -v"
-
----
- Makefile | 6 +++---
- 1 file changed, 3 insertions(+), 3 deletions(-)
-
-diff --git a/Makefile b/Makefile
-index 7a5df5602..b9b28aab5 100644
---- a/Makefile
-+++ b/Makefile
-@@ -21,7 +21,7 @@
- 
- # Set this according to your version of Emacs.
- # NB: this is also used to set default install path names below.
--EMACS=$(shell if [ -z "`which emacs`" ]; then echo "Emacs executable not found"; exit 1; else echo emacs; fi)
-+EMACS=$(shell if [ -z "`command -v emacs`" ]; then echo "Emacs executable not found"; exit 1; else echo emacs; fi)
- 
- # We default to /usr rather than /usr/local because installs of
- # desktop and doc files under /usr/local are unlikely to work with
-@@ -273,7 +273,7 @@ scripts: bashscripts perlscripts
- 
- .PHONY: bashscripts
- bashscripts:
--	(bash="`which bash`";					    \
-+	(bash="`command -v bash`";					    \
- 	 if [ -z "$$bash" ]; then				    \
- 	   echo "Could not find bash - bash paths not checked" >&2; \
- 	   exit 0;						    \
-@@ -281,7 +281,7 @@ bashscripts:
- 
- .PHONY: perlscripts
- perlscripts:
--	(perl="`which perl`";					    \
-+	(perl="`command -v perl`";					    \
- 	 if [ -z "$$perl" ]; then				    \
- 	   echo "Could not find perl - perl paths not checked" >&2; \
- 	   exit 0;						    \
diff --git a/app-emacs/proofgeneral/metadata.xml b/app-emacs/proofgeneral/metadata.xml
deleted file mode 100644
index 4d53c6a04fd9..000000000000
--- a/app-emacs/proofgeneral/metadata.xml
+++ /dev/null
@@ -1,18 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://docs.baldeagleos.com/dtd/metadata.dtd">
-<pkgmetadata>
-  <maintainer type="project">
-    <email>gnu-emacs@gentoo.org</email>
-    <name>Gentoo GNU Emacs project</name>
-  </maintainer>
-  <longdescription>
-  Proof General is a generic Emacs interface for proof assistants. The aim of
-  the Proof General project is to provide a powerful, generic environment for
-  using interactive proof assistants.
-</longdescription>
-  <stabilize-allarches />
-  <upstream>
-    <bugs-to>https://github.com/ProofGeneral/PG/issues/</bugs-to>
-  </upstream>
-  <origin>baldeagleos-repo</origin>
-</pkgmetadata>
diff --git a/app-emacs/proofgeneral/proofgeneral-4.5.ebuild b/app-emacs/proofgeneral/proofgeneral-4.5.ebuild
deleted file mode 100644
index a5ca4a5d9022..000000000000
--- a/app-emacs/proofgeneral/proofgeneral-4.5.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit wrapper elisp
-
-DESCRIPTION="A generic interface for proof assistants"
-HOMEPAGE="https://proofgeneral.github.io/"
-SRC_URI="https://github.com/ProofGeneral/PG/archive/v${PV}.tar.gz
-			-> ${P}.tar.gz"
-S="${WORKDIR}"/PG-${PV}
-
-LICENSE="GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0"
-SLOT="0"
-KEYWORDS="amd64 ppc x86"
-
-PATCHES=(
-	"${FILESDIR}"/${PN}-4.4-desktop.patch
-	"${FILESDIR}"/${PN}-4.5-paths.patch
-	"${FILESDIR}"/${PN}-4.5-posix-no-which.patch
-)
-
-DOCS=( AUTHORS BUGS CHANGES COMPATIBILITY FAQ.md INSTALL README.md )
-SITEFILE="50${PN}-gentoo.el"
-
-src_prepare() {
-	elisp_src_prepare
-
-	sed -e "s|@EPREFIX@|${EPREFIX}|" \
-		-e "s|@SITEETC@|${EPREFIX}${SITEETC}/${PN}|" \
-		-i generic/proof-site.el || die
-}
-
-src_compile() {
-	emake compile doc.info
-}
-
-src_install() {
-	emake install-elisp install-bin install-desktop \
-		PREFIX="${ED}"/usr \
-		ELISP="${ED}${SITELISP}"/${PN} \
-		DEST_ELISP="${EPREFIX}${SITELISP}"/${PN}
-	elisp-site-file-install "${FILESDIR}/${SITEFILE}"
-
-	# move images out of elisp dir
-	mkdir -p "${ED}${SITEETC}"/${PN}/ || die
-	mv "${ED}${SITELISP}"/${PN}/images "${ED}${SITEETC}"/${PN}/ || die
-
-	# Create missing script, loosely translated from 4.4 version
-	make_wrapper ${PN} "${EMACS} \
-		-eval '(load \"${SITELISP}/${PN}/generic/proof-site.el\")' \
-		-f proofgeneral \
-		-f proof-splash-display-screen"
-
-	doinfo doc/*.info*
-	doman doc/${PN}.1
-	einstalldocs
-}