devtools/devshell.sh

35 lines
1.1 KiB
Bash
Raw Normal View History

2015-12-22 11:10:07 +01:00
#!/bin/bash
2017-01-20 01:54:11 +01:00
# This file is part of Jehanne.
#
# Copyright (C) 2016-2017 Giacomo Tesio <giacomo@tesio.it>
2015-12-22 11:10:07 +01:00
export JEHANNE=`git rev-parse --show-toplevel`
REPONAME=`basename $JEHANNE`
JEHANNE_TOOLCHAIN=`dirname $JEHANNE`
JEHANNE_TOOLCHAIN="$JEHANNE_TOOLCHAIN/$REPONAME.TOOLCHAIN"
2019-12-16 01:21:36 +01:00
export JEHANNE_TOOLCHAIN
2015-12-22 11:10:07 +01:00
export PATH="$JEHANNE/hacking/bin:$PATH"
export PATH="$JEHANNE_TOOLCHAIN/cross/posix/bin:$PATH"
2019-12-13 00:47:07 +01:00
#export CPATH="$JEHANNE_TOOLCHAIN/cross/posix/lib/gcc/x86_64-jehanne/9.2.0/include:$JEHANNE_TOOLCHAIN/cross/posix/lib/gcc/x86_64-jehanne/9.2.0/include-fixed"
2015-12-22 11:10:07 +01:00
export ARCH=amd64
2016-11-25 14:41:57 +01:00
export TOOLPREFIX=x86_64-jehanne-
# let each developer to customize her environment
if [ "$JEHANNE_DEVELOPER_DIR" = "" ]; then
JEHANNE_DEVELOPER_DIR=$HOME/.jehanne/
fi
if [ -d "$JEHANNE_DEVELOPER_DIR" ]; then
export JEHANNE_DEVELOPER_DIR
if [ -f "$JEHANNE_DEVELOPER_DIR/devshell.sh" ]; then
if [ "$JEHANNE_DEVELOPER_INIT_RUN" != "1" ]; then
. "$JEHANNE_DEVELOPER_DIR/devshell.sh"
export JEHANNE_DEVELOPER_INIT_RUN=1
fi
fi
fi
2015-12-22 11:10:07 +01:00
bash --rcfile <(cat ~/.bashrc; echo 'PS1="JehanneDEV $PS1"')