71 lines
1.8 KiB
Makefile
71 lines
1.8 KiB
Makefile
|
#
|
||
|
|
# Copyright 2014, NICTA
|
||
|
|
#
|
||
|
|
# This software may be distributed and modified according to the terms of
|
||
|
|
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
|
||
|
|
# See "LICENSE_BSD2.txt" for details.
|
||
|
|
#
|
||
|
|
# @TAG(NICTA_BSD)
|
||
|
|
#
|
||
|
|
#
|
||
|
|
# Common build targets for Isabelle Makefiles.
|
||
|
|
#
|
||
|
|
# This file should be included after defining a "HEAPS" variable containing the
|
||
|
|
# name of all Isabelle heaps that can be built.
|
||
|
|
#
|
||
|
|
|
||
|
|
# Get path to the base of the repository.
|
||
|
|
L4V_REPO_PATH := $(realpath $(dir $(lastword $(MAKEFILE_LIST)))..)
|
||
|
|
|
||
|
|
# Ensure "ISABELLE_*" environment variables are setup.
|
||
|
|
ifndef ISABELLE_HOME
|
||
|
|
export ISABELLE_HOME=${L4V_REPO_PATH}/isabelle
|
||
|
|
endif
|
||
|
|
ifndef ISABELLE_TOOL
|
||
|
|
export ISABELLE_TOOL=${ISABELLE_HOME}/bin/isabelle
|
||
|
|
endif
|
||
|
|
ifndef ISABELLE_PROCESS
|
||
|
|
export ISABELLE_PROCESS=${ISABELLE_HOME}/bin/isabelle-process
|
||
|
|
endif
|
||
|
|
|
||
|
|
# Setup rules for the heaps.
|
||
|
|
$(HEAPS): .FORCE
|
||
|
|
$(ISABELLE_TOOL) build -b -v -d $(L4V_REPO_PATH) $@
|
||
|
|
.PHONY: $(HEAPS)
|
||
|
|
|
||
|
|
$(GROUPS): .FORCE
|
||
|
|
$(ISABELLE_TOOL) build -b -v -d $(L4V_REPO_PATH) -g $@
|
||
|
|
.PHONY: $(GROUPS)
|
||
|
|
|
||
|
|
clean: clean-images
|
||
|
|
.PHONY: clean
|
||
|
|
|
||
|
|
clean-images:
|
||
|
|
@echo "Not implemented yet."
|
||
|
|
exit 1
|
||
|
|
#rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/%)
|
||
|
|
#rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%.gz)
|
||
|
|
#rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%)
|
||
|
|
.PHONY: clean-images
|
||
|
|
|
||
|
|
realclean: clean
|
||
|
|
@echo "Not implemented yet."
|
||
|
|
exit 1
|
||
|
|
#rm -rf $(ISABELLE_OUTPUT)
|
||
|
|
.PHONY: realclean
|
||
|
|
|
||
|
|
#
|
||
|
|
# Some targets within this Makefile depend on files, which are managed
|
||
|
|
# by independent subprojects (namely, Isabelle and the seL4 kernel).
|
||
|
|
# This Makefile is NOT aware of the respective dependencies. Rather, it
|
||
|
|
# forces a recursive call of the corresponding subproject's Makefile
|
||
|
|
# whenever a target depends on files managed by a subproject. For this
|
||
|
|
# purpose, we use the special phony target ".FORCE".
|
||
|
|
#
|
||
|
|
.PHONY: .FORCE
|
||
|
|
.FORCE:
|
||
|
|
|
||
|
|
# Common targets that should be considered PHONY.
|
||
|
|
.PHONY: all default images test
|
||
|
|
|