1#
2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3#
4# SPDX-License-Identifier: GPL-2.0-only
5#
6
7## Targets
8images: Camkes
9default: images test
10test:
11all: images test
12report-regression:
13	@echo Camkes
14
15#
16# Setup heaps.
17#
18
19# CAmkES
20HEAPS += CamkesAdlSpec CamkesCdlRefine CamkesGlueSpec CamkesGlueProofs
21GROUPS += Camkes
22
23# Clean
24clean:
25	rm -f ${ISABELLE_BROWSER_INFO}/CAmkES/CamkesGlueSpec/document.pdf
26	rm -f ${ISABELLE_BROWSER_INFO}/CAmkES/CamkesAdlSpec/document.pdf
27	rm -f ${ISABELLE_BROWSER_INFO}/CAmkES/CamkesGlueProofs/document.pdf
28
29include ../misc/isa-common.mk
30