-
Jean-Baptiste Keck authoredJean-Baptiste Keck authored
install.sh 402 B
#!/bin/bash
set -e
if [ $# -ne 2 ]; then
echo "Usage ./install build_folder install_folder"
exit 1
fi
if [ ! -d "$1" ]; then
echo "Build folder $1 does not exist."
exit 1
fi
if [ -d "$2" ]; then
echo "Install folder $2 already exists."
exit 1
fi
BUILD_FOLDER="$1"
INSTALL_FOLDER="$2"
mkdir -p $INSTALL_FOLDER
cd $BUILD_FOLDER
make install
ls -R $INSTALL_FOLDER
exit 0