1#
2# Copyright 2016, NICTA
3#
4# This software may be distributed and modified according to the terms of
5# the GNU General Public License version 2. Note that NO WARRANTY is provided.
6# See "LICENSE_GPLv2.txt" for details.
7#
8# @TAG(NICTA_GPL)
9#
10
11# Common environment variables for makefiles.
12# See ���build-env.sh��� for more information.
13#
14# Note that this file sets the PATH, so it should be included before any
15# makefile directives that change the PATH.
16
17SHELL:=bash
18
19BUILD_ENV_MK_DIR:=$(dir $(lastword $(MAKEFILE_LIST)))
20
21# TODO: more efficient way to do this?
22AC_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$AC_DIR")
23ISABELLE:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$ISABELLE")
24ISABELLE_BUILD:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$ISABELLE_BUILD")
25
26PATH:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$PATH")
27COGENT_LIBGUM_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$COGENT_LIBGUM_DIR")
28
29L4V_ARCH:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$L4V_ARCH")
30
31# Silent by default
32V =
33ifeq ($(strip $(V)),)
34        E = @echo
35        Q = @
36else
37        E = @\#
38        Q =
39endif
40