1 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