Installing POHIC and POHIAda

install/40_ocarina.sh

+#!/bin/bash
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+. ${DIR}/common.sh
+
+# Setup the tools in ~/.local/bin
+cd $DIR/../ocarina || exit 1
+make distclean # ignore any errors here
+./support/reconfig || exit 1
+./configure --prefix=${PREFIX} || exit 1
+make || exit 1
+make install
+
+# Add Ocarina to PATH
+PATH_CMD='export PATH=$PATH:'"${PREFIX}/bin"
+UpdatePATH

install/45_pohi.sh

+#!/bin/bash
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+. ${DIR}/common.sh
+
+# Setup the tools in ~/.local/bin
+cd $DIR/../polyorb-hi-c || exit 1
+make distclean # ignore any errors here
+./support/reconfig || exit 1
+PATH=${PREFIX}/bin:${PATH} ./configure || exit 1
+make || exit 1
+make install
+
+# Add POHI to PATH
+PATH_CMD='export PATH=$PATH:'"${PREFIX}/bin"
+UpdatePATH

install/common.sh

+TASTE_PATHS=$HOME/.bashrc.taste
+PREFIX=$HOME/tool-inst
+
+UpdatePATH() {
+    if [ -z "${PATH_CMD}" ] ; then
+        echo You forgot to set your PATH_CMD. Aborting...
+        exit 1
+    fi
+    grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS}
+}