Commit b0429ae7 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Fixing more installation issues

Installing from scratch inside a 64-bit Debian stretch chroot
is revealing more issues. In principle, this will also help
with the Docker and Vagrant installs.
parent e8341b6b
......@@ -20,3 +20,9 @@ if [ $? -ne 0 ] ; then
echo "install/ folder."
exit 1
fi
touch /dev/shm/foo || {
echo "Your user doesn't seem to be able to write inside /dev/shm/"
echo "Fix it by executing something like..."
echo " sudo chmod ugo+w /dev/shm/"
exit 1
}
......@@ -4,6 +4,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
# Setup the tools in ${PREFIX}/bin
cd $DIR/../qemu-Leon3 || exit 1
mkdir -p ${PREFIX}/bin || exit 1
cp -a qemu-Leon3*.sh ${PREFIX}/bin/ || exit 1
# Add Leon simulators to PATH
......
......@@ -11,6 +11,7 @@ done
COMMITID=$(cd ../orchestrator/ ; git log --oneline | head -1 | awk '{print $1}')
cat ../orchestrator/orchestrator/taste-orchestrator.py | \
sed "s,COMMITID,${COMMITID}," > ${PREFIX}/bin/taste-orchestrator.py
chmod +x ${PREFIX}/bin/taste-orchestrator.py
# Install a symlink for the old name of the build tool
cd ${PREFIX}/bin/ || exit 1
......
TASTE_PATHS=$HOME/.bashrc.taste
PREFIX=$HOME/tool-inst
[ -e $HOME/.bashrc.taste ] && . $HOME/.bashrc.taste
UpdatePATH() {
if [ -z "${PATH_CMD}" ] ; then
echo You forgot to set your PATH_CMD. Aborting...
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment