1# 2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: GPL-2.0-only 5# 6 7KERNEL_BUILD_ROOT := build/${L4V_ARCH} 8 9# Death to recursively-expanded variables. 10KERNEL_CMAKE_EXTRA_OPTIONS := ${KERNEL_CMAKE_EXTRA_OPTIONS} 11 12ifdef SORRY_BITFIELD_PROOFS 13 KERNEL_CMAKE_EXTRA_OPTIONS += -DSORRY_BITFIELD_PROOFS=${SORRY_BITFIELD_PROOFS} 14endif 15 16include kernel.mk 17 18# called by ../../Makefile 19cspec: ${UMM_TYPES} ${KERNEL_BUILD_ROOT}/kernel_all.c_pp 20 cd ${KERNEL_BUILD_ROOT} && ninja kernel_theories 21 22clean: 23 rm -rf ${KERNEL_BUILD_ROOT} 24 25.PHONY: cspec clean 26