diff options
Diffstat (limited to 'src/elf_model/libraries/Makefile')
| -rw-r--r-- | src/elf_model/libraries/Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/elf_model/libraries/Makefile b/src/elf_model/libraries/Makefile deleted file mode 100644 index 1745dbdd..00000000 --- a/src/elf_model/libraries/Makefile +++ /dev/null @@ -1,23 +0,0 @@ -dummy: all - -extract: - mkdir batteries bitstring uint - tar -zxvf batteries-2.2.tar.gz -C batteries --strip-components=1 - tar -zxvf bitstring.tar.gz -C bitstring --strip-components=1 - tar -zxvf uint.tar.gz -C uint --strip-components=1 - -clean: - rm -rf batteries bitstring uint - -make-batteries: - make -C batteries all - -make-uint: - make -C uint configure - make -C uint all - -make-bitstring: - cd bitstring && ./configure - make -C bitstring - -all: extract make-batteries make-bitstring make-uint
\ No newline at end of file |