diff options
| author | Alasdair Armstrong | 2019-06-06 17:29:22 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-06 17:30:13 +0100 |
| commit | d225547fc49807961967181b8661a35fe4de8ed3 (patch) | |
| tree | 49e9ff8867271a6cff4f16bf056392a24f09540b /aarch64_small | |
| parent | 9bdc4266ea3ba81ec3f05e44b1069a6752cdaf0a (diff) | |
Add an option to pre-compile the axiomatic model for SMT
Diffstat (limited to 'aarch64_small')
| -rw-r--r-- | aarch64_small/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aarch64_small/Makefile b/aarch64_small/Makefile index c1751a45..43685ccb 100644 --- a/aarch64_small/Makefile +++ b/aarch64_small/Makefile @@ -23,8 +23,8 @@ armV8.lem: $(SOURCES) # also generates armV8_embed_sequential.lem, armV8_embed_types.lem, armV8_toFromInterp.lem $(SAIL) $(SAILFLAGS) -lem -lem_lib ArmV8_extras_embed -o armV8 $^ -smt: $(SOURCES) - $(SAIL) $(SAILFLAGS) -smt $^ +armV8.axiomatic_model: $(SOURCES) + $(SAIL) $(SAILFLAGS) -axiomatic $^ for-rmem/armV8.lem: $(SOURCES) mkdir -p $(dir $@) |