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>x...@riseup.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 -}