adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

asmrefine: SimplExportOnly renamed 

The SimplExportOnly session is now just SimplExport.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-11-09 21:04:24 +11:00 committed by Gerwin Klein
parent 7baa19495f
commit 6700d97b7f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
proof/Makefile
View File

@ -65,7 +65,7 @@ ASpec-files: .FORCE
include ../misc/isa-common.mk
# SimplExportOnly is treated specially, to not save an image.
SimplExportOnly: c-kernel design-spec
# SimplExport is treated specially, to not save an image.
SimplExport: c-kernel design-spec
$(ISABELLE_TOOL) build -v -c -d $(ROOT_PATH) $@
.PHONY: SimplExportOnly
.PHONY: SimplExport