Pull in updated elf model, make build work again (at least for me)

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
new 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
new 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
new file mode 100644
index 00000000..21a3a379
--- /dev/null
+++ b/src/elf_model/libraries/uint.tar.gz