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

x64: configure default proof/Makefile targets 

Only include currently supported images for X64.
This commit is contained in:
Matthew Brecknell 2017-04-29 15:31:13 +10:00
parent 8ee20e572a
commit 466a60919a
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
proof/Makefile
View File

@ -8,8 +8,15 @@
# @TAG(GD_GPL)
#
export L4V_ARCH ?= X64
## Targets
ifeq ($(L4V_ARCH),X64)
images: AInvs BaseRefine RefineOnly
else
images: BaseRefine CBaseRefine Refine CRefine
endif
default: images test
test:
all: images test