blob: 0fbdffc5901f52843ce31128349b6ead5b6e9584 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de>
pkgname=hets-server
pkgver=0.99_1458196355
pkgrel=1
pkgdesc="A parsing, static analysis and proof management tool incorporating various provers and different specification languages."
url="http://hets.eu"
arch=('i686' 'x86_64')
license=('custom:hets-license')
depends=('ghc>=6.8.2' 'tcl' 'tk' 'spass' 'eprover' 'darwin' 'hets-lib' 'ncurses' 'pellet' 'cairo' 'glib2' 'gettext' 'fontconfig' 'libglade')
optdepends=('isabelle')
provides=('hets-server')
conflicts=('hets-server')
sha1sums=('4897f0debb292e40fb75d87523018d35d56054d3')
source=("http://www.informatik.uni-bremen.de/~eugenk/archlinux-aur/$pkgname/${pkgname}-${pkgver}.tar.gz")
package() {
cd ${srcdir}
mkdir -p ${pkgdir}/opt/${pkgname}/
mkdir -p ${pkgdir}/usr/bin/
mv ${srcdir}/${pkgname}-${pkgver}/bin/${pkgname} ${pkgdir}/usr/bin/${pkgname}
cp -r ${srcdir}/${pkgname}-${pkgver}/* ${pkgdir}/opt/${pkgname}/
}
|