hol.install


1
2
3
4
5
6
7
8
9
10
11
12
13
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
}