diff options
| author | Alasdair Armstrong | 2019-06-06 17:34:25 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-06 17:34:25 +0100 |
| commit | 3d75ff3278a7c5bef12f2e788b025ca472869a70 (patch) | |
| tree | 41781e680c2b518d8575274bbab56d209390c0f9 /aarch64_small | |
| parent | d225547fc49807961967181b8661a35fe4de8ed3 (diff) | |
Fix aarch64_small makefile
Diffstat (limited to 'aarch64_small')
| -rw-r--r-- | aarch64_small/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64_small/Makefile b/aarch64_small/Makefile index 43685ccb..b0a993ef 100644 --- a/aarch64_small/Makefile +++ b/aarch64_small/Makefile @@ -24,7 +24,7 @@ armV8.lem: $(SOURCES) $(SAIL) $(SAILFLAGS) -lem -lem_lib ArmV8_extras_embed -o armV8 $^ armV8.axiomatic_model: $(SOURCES) - $(SAIL) $(SAILFLAGS) -axiomatic $^ + $(SAIL) $(SAILFLAGS) -axiomatic -o armV8 $^ for-rmem/armV8.lem: $(SOURCES) mkdir -p $(dir $@) |