45_pohi.sh 581 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10
#!/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
11 12 13 14 15 16 17 18
make install || exit 1

cd $DIR/../polyorb-hi-ada || exit 1
make distclean # ignore any errors here
./support/reconfig || exit 1
PATH=${PREFIX}/bin:${PATH} ./configure || exit 1
make || exit 1
make install || exit 1
19 20 21 22

# Add POHI to PATH
PATH_CMD='export PATH=$PATH:'"${PREFIX}/bin"
UpdatePATH