remove old elf sources

4 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
diff --git a/src/elf_model/libraries/batteries-2.2.tar.gz b/src/elf_model/libraries/batteries-2.2.tar.gz
deleted file mode 100644
index d88b8c8f..00000000
--- a/src/elf_model/libraries/batteries-2.2.tar.gz
+++ /dev/null
diff --git a/src/elf_model/libraries/bitstring.tar.gz b/src/elf_model/libraries/bitstring.tar.gz
deleted file mode 100644
index 42a2c19f..00000000
--- a/src/elf_model/libraries/bitstring.tar.gz
+++ /dev/null
diff --git a/src/elf_model/libraries/uint.tar.gz b/src/elf_model/libraries/uint.tar.gz
deleted file mode 100644
index 21a3a379..00000000
--- a/src/elf_model/libraries/uint.tar.gz
+++ /dev/null