diff options
Diffstat (limited to 'x86/Makefile')
| -rw-r--r-- | x86/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/x86/Makefile b/x86/Makefile new file mode 100644 index 00000000..2bc4c1a4 --- /dev/null +++ b/x86/Makefile @@ -0,0 +1,3 @@ +all: + ../src/sail.native -o x86 -lem -lem_lib X86_extras_embed ../etc/regfp.sail x64.sail + ../src/sail.native -o x86 -lem_ast ../etc/regfp.sail x64.sail |