diff options
| author | Mort Yao | 2020-02-06 01:41:05 +0100 |
|---|---|---|
| committer | Mort Yao | 2020-02-06 01:41:05 +0100 |
| commit | ed0fb1ed0707ffdd06c884d5c7863eda49b64874 (patch) | |
| tree | 41c81810ebf66b6b638ee0daac88302555d15dc9 | |
| parent | 47a795fb15472647aaa67d210a0bfb1de12806b8 (diff) | |
| download | aur-ed0fb1ed0707ffdd06c884d5c7863eda49b64874.tar.gz | |
hol-git 20200205-1
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 4 | ||||
| -rw-r--r-- | hol.install | 2 |
3 files changed, 7 insertions, 5 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Mon Mar 18 14:29:24 UTC 2019 +# Thu Feb 6 00:40:12 UTC 2020 pkgbase = hol-git pkgdesc = HOL4 theorem-proving system - pkgver = 20190312 - pkgrel = 4 + pkgver = 20200205 + pkgrel = 1 url = https://hol-theorem-prover.org/ install = hol.install arch = x86_64 @@ -3,8 +3,8 @@ _pkgname=hol pkgname=${_pkgname}-git -pkgver=20190312 -pkgrel=4 +pkgver=20200205 +pkgrel=1 pkgdesc='HOL4 theorem-proving system' url='https://hol-theorem-prover.org/' arch=('x86_64') diff --git a/hol.install b/hol.install index 6769d447f961..bddee7f53f9c 100644 --- a/hol.install +++ b/hol.install @@ -5,6 +5,7 @@ post_install() { cd /opt/hol poly < tools/smart-configure.sml bin/build --relocbuild + cd Manual; make cat <<EOF ************************************************* @@ -25,4 +26,5 @@ post_upgrade() { cd /opt/hol poly < tools/smart-configure.sml bin/build --relocbuild + cd Manual; make } |