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