diff options
| author | Alasdair | 2020-07-31 13:30:53 +0100 |
|---|---|---|
| committer | Alasdair | 2020-07-31 13:30:53 +0100 |
| commit | dd76fdfd819bb1a5423cea369df0e7f2ae449b62 (patch) | |
| tree | 88d8d69e39b724902b280beaa8ce874e444f5dbc /x86/Makefile | |
| parent | 71db59830383b7db5316b5c99ccebe776fc837dc (diff) | |
Remove old specs that have more up to date version
Move outdated things into old subdirectory
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 |