pkgname=isabelle-tum
pkgver=2021_1
pkgrel=1
pkgdesc="A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM."
arch=('i686' 'x86_64')
url="https://isabelle.in.tum.de/"
license=('custom:BSD')
groups=('science')
depends=('perl' 'perl-libwww')
conflicts=('isabelle')
if test "$CARCH" == x86_64; then
	optdepends+=('lib32-glibc: for improved performance of Poly/ML on x86_64 machines'
               'lib32-gcc-libs: for improved performance of Poly/ML on x86_64 machines')
fi
optdepends=('texlive-core: document preparation')
source=(https://isabelle.in.tum.de/dist/Isabelle${pkgver//_/-}_linux.tar.gz
         isabelle.desktop)
md5sums=('01bdd4e3fc2bd2a7b13d89405cc6b93f'
         '63add57fc05e5334ad1582d07a0c7146')
sha256sums=('315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49'
            'a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da')


# required Packages are automatically build on the first run
#         
# build() {
#	cd "$srcdir/Isabelle${pkgver//_/-}"
#	./bin/isabelle build Pure
#	./bin/isabelle build HOL
# }

package() {
  install -Dm644 "isabelle.desktop" "$pkgdir/usr/share/applications/isabelle.desktop"
  
	cd "$srcdir/Isabelle${pkgver//_/-}"
	mkdir -p $pkgdir/opt/isabelle
	cp -r * $pkgdir/opt/isabelle/
	$pkgdir/opt/isabelle/bin/isabelle install -d /opt/isabelle $pkgdir/usr/bin
}