Initial commit: add setup script

setup.sh

+#!/bin/sh
+
+DIR=`pwd`
+
+GIT="https://git@gitlab.cs.fau.de/faumachine"
+
+#
+# FAUcc checkout:
+#
+git clone ${GIT}/faucc.git
+
+#
+# FAUcc build:
+#
+cd faucc
+./autogen.sh
+./configure --prefix=${DIR}/faucc/Devel
+make -s
+make devel
+cd ..
+
+#
+# Set PATH.
+#
+PATH=${PATH}:${DIR}/faucc/Devel/bin
+
+#
+# FAUhdlc checkout:
+#
+git clone ${GIT}/fauhdlc.git
+
+#
+# FAUhdlc build:
+#
+cd fauhdlc/src
+./autogen.sh
+./configure --prefix=${DIR}/fauhdlc/Devel
+make -s
+make devel
+cd ../..
+
+#
+# Set PATH.
+#
+PATH=${PATH}:${DIR}/fauhdlc/Devel/bin
+
+#
+# FAUmachine checkout:
+#
+git clone ${GIT}/faumachine.git
+
+#
+# FAUmachine build
+#
+cd faumachine
+./autogen.sh
+./configure --prefix=${DIR}/faumachine/Devel --with-fauhdli-dir=${DIR}/fauhdlc/Devel
+make -s
+make devel
+cd ..
+
+#
+# Set PATH.
+#
+PATH=${PATH}:${DIR}/faumachine/Devel/bin
+
+echo
+echo "********************"
+echo "* Build completed. *"
+echo "********************"
+echo
+echo "Don't forget to add \"${DIR}/faucc/Devel/bin:${DIR}/fauhdlc/Devel/bin:${DIR}/faumachine/Devel/bin\" to your PATH variable!"