blob: 537e43c58cd92f2ecb51469a4da69c37565c213c (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
# Maintainer: Mort Yao <soi@mort.ninja>
# Contributor: Nikolaos Bezirgiannis <bezeria@gmail.com>
pkgname=hol-git
pkgver=20190312
pkgrel=1
pkgdesc='HOL4 theorem-proving system'
url='https://hol-theorem-prover.org/'
arch=('x86_64')
license=('BSD')
install="$pkgname.install"
source=("${pkgname}::git://github.com/HOL-Theorem-Prover/HOL.git")
md5sums=('SKIP')
depends=('polyml' 'graphviz')
pkgver() {
cd "$pkgname"
git log -1 --pretty=format:%cd --date=short | sed 's/-//g'
}
build() {
cd "${srcdir}/${pkgname}"
poly < tools/smart-configure.sml
bin/build
bin/build cleanForReloc
}
package() {
_oldtop="${srcdir}/${pkgname}"
_newtop="/opt/hol"
cd $_oldtop
# install everything under /opt/hol
install -m755 -d "${pkgdir}/opt/${pkgname}"
cp -r . "${pkgdir}/opt/${pkgname}"
# install license
install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
install -m644 COPYRIGHT "${pkgdir}/usr/share/licenses/${pkgname}/"
# make symlinks to /usr/bin
mkdir -p ${pkgdir}/usr/bin
ln -s /opt/hol/bin/hol ${pkgdir}/usr/bin/hol
ln -s /opt/hol/bin/hol.noquote ${pkgdir}/usr/bin/hol.noquote
ln -s /opt/hol/bin/Holmake ${pkgdir}/usr/bin/Holmake
}
|