diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..ea507e2d2830 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,39 @@ +pkgname=isabelle-tum +pkgver=2020 +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) +sha256sums=('633aff864d6647bd175cf831e7513e3fd0cd06beacbf29a5c6c66d4de1522bae' + 'a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da') +md5sums=('7c69d3aa39116cd4a91ad1592a0431e1' + '63add57fc05e5334ad1582d07a0c7146') + + +# 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 +} |