1#!/bin/bash 2# * Copyright 2016, NICTA 3# * 4# * This software may be distributed and modified according to the terms 5# of 6# * the BSD 2-Clause license. Note that NO WARRANTY is provided. 7# * See "LICENSE_BSD2.txt" for details. 8# * 9# * @TAG(NICTA_BSD) 10 11#used for setting up HOL4 on our internal setup 12 13# Fetch directory this script is stored in. 14DIR="$(cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd)" 15echo $DIR 16SETUP_ROOT=${DIR}/../../../ 17 18#setup HOL4 19cd $SETUP_ROOT/HOL4 20echo 'val polymllibdir= "'$POLY_LIB_DIR'";' > ./tools-poly/poly-includes.ML 21echo 'configuring HOL4' 22$POLY < tools/smart-configure.sml 23echo 'HOL4 configured, building ...' 24./bin/build 25