diff --git a/sci-mathematics/isabelle-bin/Manifest b/sci-mathematics/isabelle-bin/Manifest index 4531e10..6ada220 100644 --- a/sci-mathematics/isabelle-bin/Manifest +++ b/sci-mathematics/isabelle-bin/Manifest @@ -1,2 +1,4 @@ DIST Isabelle2023_linux.tar.gz 660494085 BLAKE2B 1b5b66c7f6c7118ddbd0c4e9c472eebe4b108654098717933f6310848a406fcc6ac924e0dad0430334c493ee768d0797666179010526371ec61d7f13ec75916d SHA512 2ac1da96d9312a89efc8112d104300e75aed9d2c945b067579bf6d3c2078d9a9af27905b72be12501f06e224df74fccd2483b699fa38b9bb483044695095747f DIST Isabelle2023_linux_arm.tar.gz 623824573 BLAKE2B 2308d3aaf9e1ccc4fdd29a7affa7ac6cd5ece65e6ce2e4e568ef3e473998c916535be4fdbe68097e23d1eaa2a9fcebb00580e60e8e62eb89c3d85cd4b6553537 SHA512 7571820c7476a95332bac6f008544d32df16e2d1f047e8db1f2a28bc2454bb878e286c7a6f8da1da6482e45556392b3c41afd5cddc921fbffc4d676a829e07da +DIST Isabelle2024_linux.tar.gz 691403415 BLAKE2B 40a82dbccf975ca2bcd48b89289d75e7601dbd28444130b403eb9bd13ab24f2f4074fa67f6b36251ec845adc9a4ed7444c0e42d79f43cafa8ca23f5d27e3a367 SHA512 e063723218702130ed2b688b125a9e35b1a258b1e3935d5bf471fd3702b03ea73a8fea96f9bc90642d2bf644a36eff25919baa28dabbbd2dd103e2f6900c9709 +DIST Isabelle2024_linux_arm.tar.gz 650791843 BLAKE2B 6c508960df676d948872ac51e27abd4374eef6cb482f258c062a9e7bffd782ed7f3e45283ea9d589153d047a82c0cdb00e506712813ae78b94fd119591437f3e SHA512 9a013c9aa9c288587f806ca256964b4b46ec91b781b50fd499d664ea7cda5d1e71c1fb1f133e81c9e7dc20256ec763d4632901bb11910196438a700088e3422d diff --git a/sci-mathematics/isabelle-bin/isabelle-bin-2024.ebuild b/sci-mathematics/isabelle-bin/isabelle-bin-2024.ebuild new file mode 100644 index 0000000..2ed9e48 --- /dev/null +++ b/sci-mathematics/isabelle-bin/isabelle-bin-2024.ebuild @@ -0,0 +1,98 @@ +# 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/glibc + 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 !amd64 x86_64-linux) $(usev !amd64 x86_64_32-linux) \ + $(usev !arm64 platform_arm64-linux) $(usev !arm64 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 +}