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

sci-mathematics/isabelle-bin: add 2023

Browse Source 
Signed-off-by: Alfred Wingate <parona@protonmail.com>
This commit is contained in:
Alfred Wingate 2024-02-27 21:24:53 +02:00
parent 38ae507a70
commit a221a296d3
No known key found for this signature in database
GPG Key ID: A12750536B5E7010
2 changed files with 98 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1 +1,3 @@
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 DIST isabelle-bin-2021.tar.gz 483561674 BLAKE2B 00390c785a858637918847821f4a429853b7ce968a8d71a37c3b6ac392438577ff3241f106840054eeadda19621a0ccd6afc9fce282720383657f28f304ed0ed SHA512 5a91f867bc743f6bcfca87fb04f4d2ca20570545bcfab6150a8f3516efd00abac7f9346f69b6f53988ca39053d78feae92e10a00a0453f2300280797a2c14b85

96
sci-mathematics/isabelle-bin/isabelle-bin-2023.ebuild Normal file
View File

@ -0,0 +1,96 @@
# Copyright 1999-2024 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="
amd64? (
https://isabelle.in.tum.de/dist/${MY_P}_linux.tar.gz
)
arm64? (
https://isabelle.in.tum.de/dist/${MY_P}_linux_arm.tar.gz
)
"
S="${WORKDIR}/${MY_P}"
LICENSE="BSD"
#contrib
LICENSE+=" Apache-2.0 BitstreamVera BSD-2 CPL-1.0 EPL-1.0 GPL-2 GPL-2+ GPL-3 GPL-3-with-openssl-exception LGPL-2.1+ LPPL-1.3c MIT public-domain"
SLOT="0"
KEYWORDS="-* ~amd64"
RESTRICT="test"
RDEPEND="
!sci-mathematics/isabelle
app-accessibility/at-spi2-core:2
app-crypt/libsecret
dev-libs/expat
dev-libs/glib:2
dev-libs/nspr
dev-libs/nss
media-libs/alsa-lib
media-libs/mesa
net-print/cups
sys-apps/dbus
sys-libs/zlib
virtual/latex-base
x11-libs/cairo
x11-libs/gtk+:3
x11-libs/libX11
x11-libs/libXcomposite
x11-libs/libXdamage
x11-libs/libXext
x11-libs/libXfixes
x11-libs/libXi
x11-libs/libXrandr
x11-libs/libXrender
x11-libs/libXtst
x11-libs/libdrm
x11-libs/libxcb
x11-libs/libxkbcommon
x11-libs/libxkbfile
x11-libs/pango
"
DESTDIR="${EPREFIX}/opt/isabelle"
DOCS="ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README"
QA_PREBUILT=".*"
src_prepare() {
default
for platform in \
$(usev !amd64 platform_x86_64-linux) $(usev !arm64 platform_arm64-linux) \
platform_x86_64-cygwin platform_x86_64-darwin; do
find "${S}" -name "${platform}" -type d -exec rm -rf {} +
done
# symlinks for static libraries which point to nothing
rm -rf contrib/e-*/src/lib || die
}
src_install() {
# lots of bundled binaries which require executable bit
mkdir -p "${ED}/${DESTDIR}" || die
cp -r ./* "${ED}/${DESTDIR}" || 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} ${DESTDIR}/${MY_P}" "${DESTDIR}"
done
doicon ./lib/icons/isabelle-mini.xpm
doicon ./lib/icons/isabelle.xpm
make_desktop_entry isabelle Isabelle isabelle "Education;Science;Math;"
einstalldocs
}