blob: 5a49f40d78d8360c602c5388b2203966787cc750 [file] [log] [blame]
#!/bin/sh
#
# Copyright 2016, NICTA
#
# This software may be distributed and modified according to the terms of
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
# See "LICENSE_GPLv2.txt" for details.
#
# @TAG(NICTA_GPL)
#
# Common environment variables.
# All build scripts should “source” this file. For makefiles, use “build-env.mk” instead.
#
# Variables:
# AC_DIR: location of AutoCorres (http://ts.data61.csiro.au/projects/TS/autocorres/) directory.
# AutoCorres is a dependency of proof builds.
#
# Extra PATH variables:
# ISABELLE_TOOLDIR: location of “isabelle” theorem prover.
# Defaults to isabelle/bin.
#
# COGENT_TOOLDIR: location of “cogent” compiler.
#
# These will be added to the PATH if not already present.
#
# If any variable has already been defined, it will be left alone.
find_script_dir() {
(
while test "$PWD" != '/' -a ! -f build-env.mk
do
cd ..
done
echo "$PWD"
)
}
set_build_env()
{
local SCRIPT_DIR=`find_script_dir`
# Extract of the AutoCorres release
: ${AC_DIR:="$SCRIPT_DIR/autocorres"}
# Location of Isabelle (sub-module)
: ${ISABELLE_TOOLDIR:="$SCRIPT_DIR/isabelle/bin"}
: ${ISABELLE:="$ISABELLE_TOOLDIR/isabelle"}
: ${ISABELLE_BUILD:="$ISABELLE build -v"}
[ -d "$AC_DIR" ] || {
echo >&2 "Cannot find \$AC_DIR ($AC_DIR)"
exit 1
}
# Location of Cogent compiler (if not already defined)
: ${COGENT_TOOLDIR:="$HOME/.cabal/bin"}
if ! type cogent >/dev/null 2>&1
then PATH="$COGENT_TOOLDIR:$PATH"
fi
# Location of Cogent shared library
: ${COGENT_LIBGUM_DIR:="$SCRIPT_DIR/cogent/lib"}
# Environment variable for running AutoCorres
: ${L4V_ARCH:="ARM"}
}
set_build_env