| #!/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 |