From 74cc06dbe36e411133d392c846a9aff4b0a7df14 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 30 Oct 2014 17:32:07 +0000
Subject: Pull in updated elf model, make build work again (at least for me)

---
 src/elf_model/libraries/Makefile             |  23 +++++++++++++++++++++++
 src/elf_model/libraries/batteries-2.2.tar.gz | Bin 0 -> 711616 bytes
 src/elf_model/libraries/bitstring.tar.gz     | Bin 0 -> 163346 bytes
 src/elf_model/libraries/uint.tar.gz          | Bin 0 -> 47759 bytes
 4 files changed, 23 insertions(+)
 create mode 100644 src/elf_model/libraries/Makefile
 create mode 100644 src/elf_model/libraries/batteries-2.2.tar.gz
 create mode 100644 src/elf_model/libraries/bitstring.tar.gz
 create mode 100644 src/elf_model/libraries/uint.tar.gz

(limited to 'src/elf_model/libraries')

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
Binary files /dev/null and b/src/elf_model/libraries/batteries-2.2.tar.gz differ
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
Binary files /dev/null and b/src/elf_model/libraries/bitstring.tar.gz differ
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
Binary files /dev/null and b/src/elf_model/libraries/uint.tar.gz differ
-- 
cgit v1.2.3