src_prepare
/
src_prepare-overlay
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sci-mathematics/isabelle-bin: drop 2021 

Signed-off-by: Alfred Wingate <parona@protonmail.com>
This commit is contained in:
Alfred Wingate 2024-03-21 09:55:29 +02:00
parent 4f8001ea50
commit 8b858f85e4
No known key found for this signature in database
GPG Key ID: A12750536B5E7010
2 changed files with 0 additions and 51 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
sci-mathematics/isabelle-bin/Manifest
View File

@ -1,3 +1,2 @@
DIST Isabelle2023_linux.tar.gz 660494085 BLAKE2B 1b5b66c7f6c7118ddbd0c4e9c472eebe4b108654098717933f6310848a406fcc6ac924e0dad0430334c493ee768d0797666179010526371ec61d7f13ec75916d SHA512 2ac1da96d9312a89efc8112d104300e75aed9d2c945b067579bf6d3c2078d9a9af27905b72be12501f06e224df74fccd2483b699fa38b9bb483044695095747f
DIST Isabelle2023_linux_arm.tar.gz 623824573 BLAKE2B 2308d3aaf9e1ccc4fdd29a7affa7ac6cd5ece65e6ce2e4e568ef3e473998c916535be4fdbe68097e23d1eaa2a9fcebb00580e60e8e62eb89c3d85cd4b6553537 SHA512 7571820c7476a95332bac6f008544d32df16e2d1f047e8db1f2a28bc2454bb878e286c7a6f8da1da6482e45556392b3c41afd5cddc921fbffc4d676a829e07da
DIST isabelle-bin-2021.tar.gz 483561674 BLAKE2B 00390c785a858637918847821f4a429853b7ce968a8d71a37c3b6ac392438577ff3241f106840054eeadda19621a0ccd6afc9fce282720383657f28f304ed0ed SHA512 5a91f867bc743f6bcfca87fb04f4d2ca20570545bcfab6150a8f3516efd00abac7f9346f69b6f53988ca39053d78feae92e10a00a0453f2300280797a2c14b85

50
sci-mathematics/isabelle-bin/isabelle-bin-2021.ebuild
View File

@ -1,50 +0,0 @@
# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit desktop wrapper xdg
MY_P="Isabelle${PV}"
DESCRIPTION="Generic proof assistant with higher-order logic"
HOMEPAGE="https://isabelle.in.tum.de/overview.html"
SRC_URI="https://isabelle.in.tum.de/dist/${MY_P}_linux.tar.gz -> ${P}.tar.gz"
S="${WORKDIR}/${MY_P}"
RESTRICT="bindist test"
LICENSE="BSD"
SLOT="0/${PV}"
KEYWORDS="-* ~amd64"
RDEPEND="
!sci-mathematics/isabelle
"
QA_PREBUILT=".*"
src_install() {
local ISABELLE_HOME="/opt/isabelle"
local doc
for doc in ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README; do
if [[ -f ${doc} ]]; then
dodoc ${doc}
rm ${doc} || die
fi
done
mkdir -p "${ED}/${ISABELLE_HOME}" || die
cp -r ./* "${ED}/${ISABELLE_HOME}" || die
local isabelle_env='env USER_HOME=${HOME}/.cache/isabelle'
local wrap
for wrap in ${PN} ${MY_P} Isabelle isabelle; do
make_wrapper ${wrap} "${isabelle_env} ${ISABELLE_HOME}/${MY_P}" "${ISABELLE_HOME}"
done
doicon ./lib/icons/isabelle-mini.xpm
doicon ./lib/icons/isabelle.xpm
make_desktop_entry isabelle Isabelle isabelle "Education;Science;Math;"
}