diff options
Diffstat (limited to 'x86/Makefile')
| -rw-r--r-- | x86/Makefile | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/x86/Makefile b/x86/Makefile deleted file mode 100644 index 0c6e830e..00000000 --- a/x86/Makefile +++ /dev/null @@ -1,20 +0,0 @@ -SAIL=../src/sail.native -LEM:=../../lem/lem - -SOURCES=../lib/regfp.sail x64.sail - -all: x86.lem x86.ml x86_embed.lem - -x86.lem: - $(SAIL) -lem_ast -o x86 $(SOURCES) - -x86.ml: x86.lem ../src/lem_interp/interp_ast.lem - $(LEM) -ocaml -lib ../src/lem_interp/ $< - -x86_embed.lem: $(SOURCES) -# also generates x86_embed_sequential.lem, x86_embed_types.lem, x86_toFromInterp.lem - $(SAIL) -lem -lem_lib X86_extras_embed -o x86 $(SOURCES) - -clean: - rm -f x86.lem x86.ml - rm -f x86_embed*.lem x86_toFromInterp.lem |