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