From 810e507c98a22edd0662336dfae396237203fb21 Mon Sep 17 00:00:00 2001
From: bg <daniel.otte@rub.de>
Date: Wed, 19 Sep 2012 17:44:17 +0200
Subject: [PATCH] adding install_headers.sh script

---
 install_headers.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 install_headers.sh

diff --git a/install_headers.sh b/install_headers.sh
new file mode 100644
index 0000000..3c667b7
--- /dev/null
+++ b/install_headers.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+#PREFIX="/usr/local/arm-none-eabi/include/"
+PREFIX="/usr/arm-elf/include/"
+TARGET_DIR="crypto/"
+SRC_FILE="main_headers"
+
+OWNER="root"
+GROUP="root"
+MODE="644"
+
+for i in `cat $SRC_FILE`; do
+  x=`echo $i | sed 's#^.*/##g'`
+  sed -f header_install_modifier.sed "${i}" > "header_tmp/${x}"
+  /usr/bin/install -o $OWNER -g $GROUP -m $MODE -D "header_tmp/${x}" ${PREFIX}${TARGET_DIR}${x};
+done;
+
+