diff options
author | Mort Yao | 2019-03-18 13:11:57 +0100 |
---|---|---|
committer | Mort Yao | 2019-03-18 13:11:57 +0100 |
commit | c0eb8510d57c586bd5e15bb5f2f6b9fc1e82224c (patch) | |
tree | 66baac7b928c382a8fee4f11f8373c45a4737f07 /PKGBUILD | |
download | aur-c0eb8510d57c586bd5e15bb5f2f6b9fc1e82224c.tar.gz |
hol-git 20190312-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..537e43c58cd9 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,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 +} |