From 565d5da276d42fb7af810e5b6a84dc668eaf589e Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 17 Apr 2015 15:03:51 +0100
Subject: remove old elf sources

---
 src/elf_model/libraries/Makefile | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 src/elf_model/libraries/Makefile

(limited to 'src/elf_model/libraries/Makefile')

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
-- 
cgit v1.2.3