[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/metamath/, sci-mathematics/metamath/files/

[Maciej Barć]

commit:     1977e3f1b9481913970d3f59e9aebdacdf6aefda
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Nov 26 09:45:19 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Nov 26 09:45:19 2021 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=1977e3f1

sci-mathematics: moved metamath to ::gentoo

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/metamath/Manifest                  |  1 -
 .../metamath/files/dont_force_optimize.patch       | 16 -------------
 sci-mathematics/metamath/metadata.xml              | 18 --------------
 sci-mathematics/metamath/metamath-0.198.ebuild     | 28 ----------------------
 4 files changed, 63 deletions(-)

diff --git a/sci-mathematics/metamath/Manifest b/sci-mathematics/metamath/Manifest
deleted file mode 100644
index 32df01b83..000000000
--- a/sci-mathematics/metamath/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST metamath-0.198.tar.gz 468593 BLAKE2B 030bc61f5d8f0c02d473fcd2802b3411c96eff04f7144b966f1f098aec3a65218137228f4d97ba96aaa190386802db00865b9e997b399ce06b19d421c335f2bf SHA512 607c0a8208b9414b36bf82a1fcb0b826e9bfa4cbcec0337be58f3e890b91473649b115403227f440b9774e5653434ffdf09f0ab82c2f5af59eac0d11b9d09942

diff --git a/sci-mathematics/metamath/files/dont_force_optimize.patch b/sci-mathematics/metamath/files/dont_force_optimize.patch
deleted file mode 100644
index 548b0042e..000000000
--- a/sci-mathematics/metamath/files/dont_force_optimize.patch
+++ /dev/null
@@ -1,16 +0,0 @@
-index 263d3d8..68a8fea 100644
---- a/configure.ac
-+++ b/configure.ac
-@@ -45,11 +45,9 @@ int f() {
- 
- # Try to optimize.
- AC_MSG_CHECKING([[for optimization flags]])
--new_CFLAGS="-O3 -funroll-loops -finline-functions -fomit-frame-pointer"
-+new_CFLAGS=""
- saved_CFLAGS="$CFLAGS"
- CFLAGS="$CFLAGS $new_CFLAGS"
--# Remove any existing "-O2", or it will override what we're doing.
--CFLAGS=$( printf "%s" "$CFLAGS" | sed -e 's/ -O2/ /' )
- AC_LINK_IFELSE(
-   [AC_LANG_PROGRAM([[
- #include <stdio.h>

diff --git a/sci-mathematics/metamath/metadata.xml b/sci-mathematics/metamath/metadata.xml
deleted file mode 100644
index 853d8b8e7..000000000
--- a/sci-mathematics/metamath/metadata.xml
+++ /dev/null
@@ -1,18 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-
-<pkgmetadata>
-  <maintainer type="person">
-    <email>xgqt@××××××.net</email>
-    <name>Maciej Barć</name>
-  </maintainer>
-  <longdescription lang="en">
-    Metamath is a tiny language that can express theorems in abstract
-    mathematics, accompanied by proofs that can be verified by a computer
-    program.
-  </longdescription>
-  <upstream>
-    <bugs-to>https://github.com/metamath/metamath-exe/issues</bugs-to>
-    <remote-id type="github">metamath/metamath-exe</remote-id>
-  </upstream>
-</pkgmetadata>

diff --git a/sci-mathematics/metamath/metamath-0.198.ebuild b/sci-mathematics/metamath/metamath-0.198.ebuild
deleted file mode 100644
index 5d86657e0..000000000
--- a/sci-mathematics/metamath/metamath-0.198.ebuild
+++ /dev/null
@@ -1,28 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit autotools
-
-DESCRIPTION="Proof verifier based on a minimalistic formalism"
-HOMEPAGE="http://us.metamath.org/"
-
-if [[ "${PV}" == *9999* ]]; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/${PN}/${PN}-exe.git"
-else
-	SRC_URI="https://github.com/${PN}/${PN}-exe/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
-	KEYWORDS="~amd64"
-	S="${WORKDIR}/${PN}-exe-${PV}"
-fi
-
-LICENSE="GPL-2"
-SLOT="0"
-
-PATCHES=( "${FILESDIR}/dont_force_optimize.patch" )
-
-src_prepare() {
-	default
-	eautoreconf
-}