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