diff options
| author | Robert Norton | 2015-11-20 13:50:55 +0000 |
|---|---|---|
| committer | Robert Norton | 2015-11-20 13:51:51 +0000 |
| commit | 7e0d443c1dfb325d50b972c084ce05711e396326 (patch) | |
| tree | 6ab4fa1af4d0f5e2c6d2ee828f2d28592db36b3a /src | |
| parent | 8686d0c4a745a6d2d70a33278c72497a38890aab (diff) | |
fixes to get-elf to work on linux. Hope it works on Mac too.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 4016a07b..54e6f75d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -46,6 +46,8 @@ get_elf: rm -rf src_elf/gnu_extensions/*.ml* $(MAKE) -C $(ELFDIR)/src clean $(MAKE) -C $(ELFDIR)/src lem-all-ocaml + mkdir -p src_elf/{adaptors,gnu_extensions} + mkdir -p src_elf/abis/{aarch64,amd64,power64,x86} 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 |