From: Cristiano Giuffrida <giuffrida@cs.vu.nl>
Date: Tue, 17 Jun 2014 11:45:56 +0000 (+0200)
Subject: llvm: Readd mistakenly deleted minix.inc.
X-Git-Tag: v3.3.0~155
X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/zlib_tech.html?a=commitdiff_plain;h=79f9fd0612154fb917fca6c326580079a03d31ff;p=minix.git

llvm: Readd mistakenly deleted minix.inc.
---

diff --git a/minix/llvm/minix.inc b/minix/llvm/minix.inc
new file mode 100644
index 000000000..5c1b5b53b
--- /dev/null
+++ b/minix/llvm/minix.inc
@@ -0,0 +1,94 @@
+#!/bin/bash
+
+ARCH=i386
+MINIX_MODULES_MAPFILE=${MINIX_ROOT}/minix.mods.map
+MINIX_LLVM_BIN_DIR=${MINIX_LLVM_DIR}/bin
+
+[ -f ${MINIX_LLVM_DIR}/common.inc ] || cp ${MINIX_LLVM_DIR}/common.inc.default ${MINIX_LLVM_DIR}/common.inc
+. ${MINIX_LLVM_DIR}/common.inc
+
+# generate_modules_map()
+#
+# Generates the ${MINIX_MODULES_MAPFILE} file
+
+function generate_modules_map()
+{
+	local TMPFILE="/tmp/.modules.map.tmp"
+	local OUTFILE="${MINIX_MODULES_MAPFILE}"
+	local currdir=`pwd`
+
+	echo "Generating Minix modules map..." 1>&2
+	cd ${MINIX_ROOT}
+	grep -r "^PROG=" . --include=Makefile | sed -e "s/\s*//g" | sed -e "s/PROG=//g" > ${TMPFILE}
+
+	cat ${TMPFILE} | sed -e "s/\.\///g" > ${TMPFILE}.1
+
+	for l in `cat ${TMPFILE}.1`; do echo "`echo $l | cut -d: -f2`=`echo $l | cut -d: -f1`" | sed -e "s/\/Makefile//g"; done > ${TMPFILE}.2
+	GREP_FILTER=$( cat drivers/Makefile | awk "\$1 ~ /endif/ {N=0}; N==1 {print}; \$4 ~ /earm/ {N=1}" | sed "s/^\t//g" | sed "s/SUBDIR[^ ]* *//g" | sed "s/ \\\//g" | xargs | sed "s/ /= -e ^/g")
+        grep -v -e ^${GREP_FILTER}= ${TMPFILE}.2 > ${OUTFILE}
+
+	rm -rf ${TMPFILE} ${TMPFILE}.1 ${TMPFILE}.2
+
+	cd ${currdir}
+}
+
+# get_modules_path
+#
+# Searches through the modules map and gets all the locations
+# pertaining to the module(s) being searched.
+
+function get_modules_path()
+{
+	local MODULE_NAME=$1
+	if [ ! -f "${MINIX_MODULES_MAPFILE}" ]; then
+		generate_modules_map
+	fi
+	if [ $MODULE_NAME == "servers" ] || [ $MODULE_NAME == "drivers" ]; then
+		MODULE_NAME="=${MODULE_NAME}/"
+	else
+		MODULE_NAME="^${MODULE_NAME}="
+	fi
+
+	echo `grep "${MODULE_NAME}" ${MINIX_MODULES_MAPFILE} | cut -d= -f2`
+}
+
+# get_module_name
+#
+# Given a module path, it gives its corresponding module name
+
+function get_module_name()
+{
+	local MODULE_PATH=$1
+	if [ ! -f "${MINIX_MODULES_MAPFILE}" ]; then
+		generate_modules_map
+	fi
+
+	echo `grep "${MODULE_PATH}$" ${MINIX_MODULES_MAPFILE} | cut -d= -f1`
+}
+
+# clean_module()
+#
+# Cleans up the DESTDIR directory for the specified module
+
+function clean_module()
+{
+	local MODULE_NAME=$1
+	local MODULE_PATH=$2
+	local MODE=$3			# MODE can either be "relink" or "build"
+	local currdir=`pwd`
+
+	# By default, clean only the potentially instrumented files
+	local TARGETS="${MODULE_NAME} *.opt.bcl *.bcl.o"
+
+	if [ "${MODE}" == "relink" ]; then
+		TARGETS="${TARGETS} *.bcl"
+	fi
+
+	if [ -d ${DESTDIR}/${MODULE_PATH} ]; then 
+		cd ${DESTDIR}/${MODULE_PATH}
+		rm -rf ${TARGETS} 2> /dev/null || true
+	fi
+
+	cd ${currdir}  
+}
+