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
Thanassis Tsiodras's avatar
Thanassis Tsiodras committed
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