adding install_headers.sh script

diff --git a/install_headers.sh b/install_headers.sh
new file mode 100644 (file)
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;
+
+