diff options
| author | Mort Yao | 2020-02-06 01:39:39 +0100 |
|---|---|---|
| committer | Mort Yao | 2020-02-06 01:39:39 +0100 |
| commit | 50299ea43cd8b44866a4321672c748fdcffb4a89 (patch) | |
| tree | 4f25d59afadde6902f415c4f0786ed3faf9065ab | |
| parent | b7b6e203c15433f9ef78ec0ded32232749cf5646 (diff) | |
| download | aur-50299ea43cd8b44866a4321672c748fdcffb4a89.tar.gz | |
hol kananaskis.13-2
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 2 | ||||
| -rw-r--r-- | hol.install | 2 |
3 files changed, 5 insertions, 3 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Sat Aug 24 12:50:55 UTC 2019 +# Thu Feb 6 00:38:29 UTC 2020 pkgbase = hol pkgdesc = HOL4 theorem-proving system pkgver = kananaskis.13 - pkgrel = 1 + pkgrel = 2 url = https://hol-theorem-prover.org/ install = hol.install arch = x86_64 @@ -4,7 +4,7 @@ # FIXME: holyhammer fails to build with ocaml-num pkgname=hol pkgver=kananaskis.13 -pkgrel=1 +pkgrel=2 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 } |