80_build-scripts.sh 416 Bytes
Newer Older
1
2
3
4
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
. ${DIR}/common.sh

5
# Install the scripts
6
7
8
9
for i in checkStackUsage.py patchAPLCs.py taste_orchestrator.py 
do
    cp -u ../orchestrator/orchestrator/$i ${PREFIX}/bin/
done
10
11
12

# Install a symlink for the old name of the build tool
cd ${PREFIX}/bin/ || exit 1
13
[ ! -h assert-builder-ocarina.py ] && ln -s taste_orchestrator.py assert-builder-ocarina.py