diff options
Diffstat (limited to 'src/elf_model/libraries')
| -rw-r--r-- | src/elf_model/libraries/Makefile | 23 | ||||
| -rw-r--r-- | src/elf_model/libraries/batteries-2.2.tar.gz | bin | 0 -> 711616 bytes | |||
| -rw-r--r-- | src/elf_model/libraries/bitstring.tar.gz | bin | 0 -> 163346 bytes | |||
| -rw-r--r-- | src/elf_model/libraries/uint.tar.gz | bin | 0 -> 47759 bytes |
4 files changed, 23 insertions, 0 deletions
diff --git a/src/elf_model/libraries/Makefile b/src/elf_model/libraries/Makefile new file mode 100644 index 00000000..1745dbdd --- /dev/null +++ b/src/elf_model/libraries/Makefile @@ -0,0 +1,23 @@ +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 diff --git a/src/elf_model/libraries/batteries-2.2.tar.gz b/src/elf_model/libraries/batteries-2.2.tar.gz Binary files differnew file mode 100644 index 00000000..d88b8c8f --- /dev/null +++ b/src/elf_model/libraries/batteries-2.2.tar.gz diff --git a/src/elf_model/libraries/bitstring.tar.gz b/src/elf_model/libraries/bitstring.tar.gz Binary files differnew file mode 100644 index 00000000..42a2c19f --- /dev/null +++ b/src/elf_model/libraries/bitstring.tar.gz diff --git a/src/elf_model/libraries/uint.tar.gz b/src/elf_model/libraries/uint.tar.gz Binary files differnew file mode 100644 index 00000000..21a3a379 --- /dev/null +++ b/src/elf_model/libraries/uint.tar.gz |