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 /arm/Makefile | |
| parent | 71db59830383b7db5316b5c99ccebe776fc837dc (diff) | |
Remove old specs that have more up to date version
Move outdated things into old subdirectory
Diffstat (limited to 'arm/Makefile')
| -rw-r--r-- | arm/Makefile | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/arm/Makefile b/arm/Makefile deleted file mode 100644 index c597f714..00000000 --- a/arm/Makefile +++ /dev/null @@ -1,53 +0,0 @@ -SAIL:=../src/sail.native -LEM:=../../lem/lem - -# the order of the files is important -SOURCES=armV8.h.sail\ - armV8_A64_sys_regs.sail\ - armV8_A64_special_purpose_regs.sail\ - armV8_A32_sys_regs.sail\ - armV8_pstate.sail\ - armV8_lib.h.sail\ - armV8_common_lib.sail\ - armV8_A64_lib.sail\ - armV8.sail - -all: armV8.lem armV8.ml armV8_embed.lem - -armV8.lem: $(SOURCES) - $(SAIL) -lem_ast -o armV8 $(SOURCES) - -armV8.ml: armV8.lem ../src/lem_interp/interp_ast.lem - $(LEM) -ocaml -lib ../src/lem_interp/ $< - - -armV8_embed.lem: $(SOURCES) ../etc/regfp.sail aarch64_regfp.sail -# also generates armV8_embed_sequential.lem, armV8_embed_types.lem, armV8_toFromInterp.lem - $(SAIL) -lem -lem_lib ArmV8_extras_embed -o armV8 $^ - -clean: - rm -f armV8.lem armV8.ml - rm -f armV8_embed*.lem armV8_toFromInterp.lem - -###################################################################### -ETCDIR=../etc - -apply_header: - headache -c $(ETCDIR)/headache_config -h $(ETCDIR)/arm_header *.sail - -.PHONY: apply_header - -###################################################################### -IDLARM=../../rsem/idlarm - -pull_from_idlarm: - $(MAKE) -C $(IDLARM) clean - $(MAKE) -C $(IDLARM) san_sail - rm -f *.sail - cp -a $(IDLARM)/build/*.sail ./ - cp -a $(IDLARM)/armV8_extras_embed.lem ./ - cp -a $(IDLARM)/armV8_extras_embed_sequential.lem ./ - cp -a $(IDLARM)/armV8_extras.lem ./ - mkdir -p gen - cp -a $(IDLARM)/*.hgen gen/ - $(MAKE) apply_header |