From a221a296d391df9642e0d14069c3abf8ec3c4ea9 Mon Sep 17 00:00:00 2001
From: Alfred Wingate <parona@protonmail.com>
Date: Tue, 27 Feb 2024 21:24:53 +0200
Subject: [PATCH] sci-mathematics/isabelle-bin: add 2023

Signed-off-by: Alfred Wingate <parona@protonmail.com>
---
 sci-mathematics/isabelle-bin/Manifest         |  2 +
 .../isabelle-bin/isabelle-bin-2023.ebuild     | 96 +++++++++++++++++++
 2 files changed, 98 insertions(+)
 create mode 100644 sci-mathematics/isabelle-bin/isabelle-bin-2023.ebuild

diff --git a/sci-mathematics/isabelle-bin/Manifest b/sci-mathematics/isabelle-bin/Manifest
index 3423a22..f5b5111 100644
--- a/sci-mathematics/isabelle-bin/Manifest
+++ b/sci-mathematics/isabelle-bin/Manifest
@@ -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
diff --git a/sci-mathematics/isabelle-bin/isabelle-bin-2023.ebuild b/sci-mathematics/isabelle-bin/isabelle-bin-2023.ebuild
new file mode 100644
index 0000000..9f96054
--- /dev/null
+++ b/sci-mathematics/isabelle-bin/isabelle-bin-2023.ebuild
@@ -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
+}