blob: 6400a4c7482f8c637cff5a9136865bff4202de95 (
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
50
51
52
|
# Maintainer: Mort Yao <soi@mort.ninja>
# Contributor: Nikolaos Bezirgiannis <bezeria@gmail.com>
_pkgname=hol
pkgname=${_pkgname}-git
pkgver=20200210
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')
provides=('hol')
conflicts=('hol-git')
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
}
|