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 | |
| download | aur-c0eb8510d57c586bd5e15bb5f2f6b9fc1e82224c.tar.gz | |
hol-git 20190312-1
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 49 | ||||
| -rw-r--r-- | hol-git.install | 14 |
3 files changed, 80 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..3392d3c99529 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +# Generated by mksrcinfo v8 +# Mon Mar 18 12:10:28 UTC 2019 +pkgbase = hol-git + pkgdesc = HOL4 theorem-proving system + pkgver = 20190312 + pkgrel = 1 + url = https://hol-theorem-prover.org/ + install = hol-git.install + arch = x86_64 + license = BSD + depends = polyml + depends = graphviz + source = hol-git::git://github.com/HOL-Theorem-Prover/HOL.git + md5sums = SKIP + +pkgname = hol-git + 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 +} diff --git a/hol-git.install b/hol-git.install new file mode 100644 index 000000000000..7c3bd698a968 --- /dev/null +++ b/hol-git.install @@ -0,0 +1,14 @@ +# See also: +# https://github.com/HOL-Theorem-Prover/HOL/commit/c2615dd + +post_install() { + cd /opt/hol + poly < tools/smart-configure.sml + bin/build --relocbuild +} + +post_upgrade() { + cd /opt/hol + poly < tools/smart-configure.sml + bin/build --relocbuild +} |