diff options
Diffstat (limited to 'test/mono/castreq.mk')
| -rwxr-xr-x | test/mono/castreq.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/mono/castreq.mk b/test/mono/castreq.mk new file mode 100755 index 00000000..81c7bcd3 --- /dev/null +++ b/test/mono/castreq.mk @@ -0,0 +1,4 @@ +#!/bin/sh +set -ex +sail ../../aarch64/prelude.sail ../../lib/mono_rewrites.sail castreq.sail -verbose -auto_mono -lem -lem_mwords -lem_sequential -lem_lib Aarch64_extras_embed -o x -undefined_gen +lem -lib ../../src/gen_lib/ -lib ../../src/lem_interp -lib ~/local/rems/2018-01-aarch64/aarch64/ x_embed_sequential.lem |