diff options
author | bitwave | 2015-07-16 20:30:20 +0200 |
---|---|---|
committer | bitwave | 2015-07-16 20:30:20 +0200 |
commit | 7ffba93ec97c22370ed5e622175394142ed5e258 (patch) | |
tree | c691ff8135bc8c43829aac6ba7606ca184fbfa93 | |
parent | dc4573c14119dcff064807f69abdd760045a53a1 (diff) | |
download | aur-7ffba93ec97c22370ed5e622175394142ed5e258.tar.gz |
moved some depends to opt & added .desktop file
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 16 | ||||
-rw-r--r-- | isabelle.desktop | 9 |
3 files changed, 24 insertions, 6 deletions
@@ -1,7 +1,7 @@ pkgbase = isabelle pkgdesc = Isabelle is 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. pkgver = 2015 - pkgrel = 1 + pkgrel = 2 url = http://www.cl.cam.ac.uk/research/hvg/Isabelle/ arch = i686 arch = x86_64 @@ -14,8 +14,11 @@ pkgbase = isabelle provides = isabelle conflicts = isabelle source = http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2015_linux.tar.gz + source = isabelle.desktop md5sums = da5b4ca16cd0c83418514a5ea7ebec77 + md5sums = bdbfb0a5309017a5bec4c5a89c3076d4 sha256sums = c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e + sha256sums = 135a0fdd877d88ffe460914d582b5150d1cd7f3e764c696f14963df3333b5fcd pkgname = isabelle @@ -2,7 +2,7 @@ # Contributor: Fabian Ruch <bafain [At] gmail [dOT] com> pkgname=isabelle pkgver=2015 -pkgrel=1 +pkgrel=2 pkgdesc="Isabelle is 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." arch=('i686' 'x86_64') url="http://www.cl.cam.ac.uk/research/hvg/Isabelle/" @@ -10,14 +10,18 @@ license=('custom:BSD') groups=('science') depends=('perl' 'perl-libwww' 'python2') if test "$CARCH" == x86_64; then - depends+=('lib32-glibc' 'lib32-gcc-libs') + 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') provides=(isabelle) conflicts=(isabelle) -source=(http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle${pkgver//_/-}_linux.tar.gz) -md5sums=('da5b4ca16cd0c83418514a5ea7ebec77') -sha256sums=('c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e') +source=(http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle${pkgver//_/-}_linux.tar.gz + isabelle.desktop) +md5sums=('da5b4ca16cd0c83418514a5ea7ebec77' + 'bdbfb0a5309017a5bec4c5a89c3076d4') +sha256sums=('c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e' + '135a0fdd877d88ffe460914d582b5150d1cd7f3e764c696f14963df3333b5fcd') build() { cd "$srcdir/Isabelle${pkgver//_/-}" @@ -26,6 +30,8 @@ build() { } package() { + install -Dm644 "$pkgname.desktop" "$pkgdir/usr/share/applications/$pkgname.desktop" + cd "$srcdir/Isabelle${pkgver//_/-}" mkdir -p $pkgdir/opt/isabelle cp -r * $pkgdir/opt/isabelle/ diff --git a/isabelle.desktop b/isabelle.desktop new file mode 100644 index 000000000000..a8c9798717cb --- /dev/null +++ b/isabelle.desktop @@ -0,0 +1,9 @@ +[Desktop Entry] +Type=Application +Name=Isabelle +Comment=HOL based theorem prover +Exec="/usr/bin/isabelle jedit" +Icon=/opt/isabelle/src/Tools/jEdit/dist/doc/jedit.png +Terminal=false +Categories=Education; +X-Desktop-File-Install-Version=0.22 |