diff options
| author | Brian Campbell | 2018-07-10 11:40:28 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-10 11:40:28 +0100 |
| commit | 58836205da846571afdb7994a9d5915f6fbae09f (patch) | |
| tree | ad23c5d4cc7cc4ac7dc4f854fdc7be29817fb60b /aarch64 | |
| parent | 85def9a2d488cc2d74394663f9f6323258e5fa59 (diff) | |
Aarch64 mono script update
Diffstat (limited to 'aarch64')
| -rwxr-xr-x | aarch64/mono/demo/mk | 2 | ||||
| -rwxr-xr-x | aarch64/mono/demo/mk.hol | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/aarch64/mono/demo/mk b/aarch64/mono/demo/mk index 64abea6f..b7513edd 100755 --- a/aarch64/mono/demo/mk +++ b/aarch64/mono/demo/mk @@ -1,6 +1,6 @@ #!/bin/bash set -ex -../../../sail ../../prelude.sail ../mono_rewrites.sail \ +../../../sail ../../prelude.sail ../../no_devices.sail ../mono_rewrites.sail \ aarch64_no_vector/spec.sail aarch64_no_vector/decode_start.sail aarch64_no_vector/decode.sail aarch64_no_vector/decode_end.sail \ -no_lexp_bounds_check -memo_z3 -undefined_gen \ -auto_mono -mono_rewrites -dall_split_errors -dmono_continue \ diff --git a/aarch64/mono/demo/mk.hol b/aarch64/mono/demo/mk.hol index ac20717f..cd9f84fc 100755 --- a/aarch64/mono/demo/mk.hol +++ b/aarch64/mono/demo/mk.hol @@ -1,6 +1,6 @@ #!/bin/bash set -ex -../../../sail ../../prelude.sail ../mono_rewrites.sail \ +../../../sail ../../prelude.sail ../../no_devices.sail ../mono_rewrites.sail \ aarch64_no_vector/spec.sail aarch64_no_vector/decode_start.sail aarch64_no_vector/decode.sail aarch64_no_vector/decode_end.sail \ -no_lexp_bounds_check -memo_z3 -undefined_gen \ -auto_mono -mono_rewrites -dall_split_errors -dmono_continue \ |