diff options
| author | Christopher Pulte | 2015-11-19 14:37:39 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2015-11-19 14:37:39 +0000 |
| commit | f484bde292f34dbb808548e4fb45bcb7669893b3 (patch) | |
| tree | 308928a5d9efb9f5bb69d5dfdb86f8ce688f0011 /src/Makefile | |
| parent | a1d41f415a555bbe31e86375601e75f8ecf37f54 (diff) | |
| parent | e6ca8bd198899ae5ede8f00d9e5c138559fc895b (diff) | |
Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 45 |
1 files changed, 41 insertions, 4 deletions
diff --git a/src/Makefile b/src/Makefile index 02958c18..4016a07b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -13,6 +13,10 @@ interpreter: elf: ocamlbuild -use-ocamlfind -pkgs batteries,uint,unix,zarith src_elf/main_elf.native + ocamlbuild -use-ocamlfind -pkgs batteries,uint,unix,zarith src_elf/abis/power64/abi_power64.cmxa + ocamlbuild -use-ocamlfind -pkgs batteries,uint,unix,zarith src_elf/abis/power64/abi_power64.cma + ocamlbuild -use-ocamlfind -pkgs batteries,uint,unix,zarith src_elf/abis/aarch64/abi_aarch64_le.cmxa + ocamlbuild -use-ocamlfind -pkgs batteries,uint,unix,zarith src_elf/abis/aarch64/abi_aarch64_le.cma test: sail interpreter ocamlbuild test/run_tests.native @@ -21,10 +25,43 @@ test: sail interpreter LEM = ~/bitbucket/lem/lem LEMLIBOCAML = ~/bitbucket/lem/ocaml-lib/ -install_elf: - cp -p ../../system-v-abi/src/*.lem elf_model/ - cp -p ../../system-v-abi/src/*.ml elf_model/ - cp -p -r ../../system-v-abi/src/libraries elf_model/libraries +ELFDIR= ../../../bitbucket/linksem + +get_elf: + -chmod u+w src_elf/*.ml* + -chmod u+w src_elf/abis/*.ml* + -chmod u+w src_elf/abis/amd64/*.ml* + -chmod u+w src_elf/abis/power64/*.ml* + -chmod u+w src_elf/abis/aarch64/*.ml* + -chmod u+w src_elf/abis/x86/*.ml* + -chmod u+w src_elf/adaptors/*.ml* + -chmod u+w src_elf/gnu_extensions/*.ml* + rm -rf src_elf/*.ml* + rm -rf src_elf/abis/*.ml* + rm -rf src_elf/abis/amd64/*.ml* + rm -rf src_elf/abis/power64/*.ml* + rm -rf src_elf/abis/aarch64/*.ml* + rm -rf src_elf/abis/x86/*.ml* + rm -rf src_elf/adaptors/*.ml* + rm -rf src_elf/gnu_extensions/*.ml* + $(MAKE) -C $(ELFDIR)/src clean + $(MAKE) -C $(ELFDIR)/src lem-all-ocaml + cp -a $(ELFDIR)/src/*.ml src_elf + cp -a $(ELFDIR)/src/abis/*.ml src_elf/abis + cp -a $(ELFDIR)/src/abis/amd64/*.ml src_elf/abis/amd64 + cp -a $(ELFDIR)/src/abis/power64/*.ml src_elf/abis/power64 + cp -a $(ELFDIR)/src/abis/aarch64/*.ml src_elf/abis/aarch64 + cp -a $(ELFDIR)/src/abis/x86/*.ml src_elf/abis/x86 + cp -a $(ELFDIR)/src/adaptors/*.ml src_elf/adaptors + cp -a $(ELFDIR)/src/gnu_extensions/*.ml* src_elf/gnu_extensions + chmod ugo-w src_elf/*.ml* + chmod ugo-w src_elf/abis/*.ml* + chmod ugo-w src_elf/abis/amd64/*.ml* + chmod ugo-w src_elf/abis/power64/*.ml* + chmod ugo-w src_elf/abis/aarch64/*.ml* + chmod ugo-w src_elf/abis/x86/*.ml* + chmod ugo-w src_elf/adaptors/*.ml* + chmod ugo-w src_elf/gnu_extensions/*.ml* power: sail interpreter elf |