You've already forked OpenUxAS-SoI
mirror of
https://github.com/AdaCore/OpenUxAS-SoI.git
synced 2026-02-12 13:04:49 -08:00
91 lines
1.5 KiB
Bash
Executable File
91 lines
1.5 KiB
Bash
Executable File
#! /bin/bash
|
|
|
|
_SUDO=$1
|
|
|
|
|
|
# exit on non-zero return
|
|
set -e
|
|
|
|
|
|
#BUILD_TYPE="AUTOCONFIG"
|
|
#BUILD_TYPE="AUTOTOOLS"
|
|
BUILD_TYPE="CMAKE"
|
|
#BUILD_TYPE="MAKE"
|
|
|
|
LIBRARY_NAME="googletest"
|
|
LIBRARY_FOLDER_NAME="googletest"
|
|
SOURCE_ARCHIVE_FILE="release-1.8.0.zip"
|
|
SOURCE_ARCHIVE_ADDRESS="https://github.com/google/googletest/archive/"
|
|
SOURCE_FOLDER_NAME="googletest-release-1.8.0"
|
|
|
|
ARCHIVE_COMMAND="unzip -o "
|
|
|
|
echo "Making Dirs"
|
|
CWD=$(pwd)
|
|
mkdir -p ./${LIBRARY_FOLDER_NAME}
|
|
cd ./${LIBRARY_FOLDER_NAME}
|
|
|
|
if [ -f ${SOURCE_ARCHIVE_FILE} ]
|
|
then
|
|
echo "*** "${LIBRARY_NAME}":: Archive File ("${SOURCE_ARCHIVE_FILE}") Exists, Skipping Source Fetch! ***"
|
|
else
|
|
echo "Fetching Source"
|
|
wget ${SOURCE_ARCHIVE_ADDRESS}${SOURCE_ARCHIVE_FILE}
|
|
fi
|
|
|
|
echo "Unpacking..."
|
|
#unzip -o ${SOURCE_ARCHIVE_FILE}
|
|
${ARCHIVE_COMMAND} ${SOURCE_ARCHIVE_FILE}
|
|
|
|
# change to the source directory
|
|
cd ${SOURCE_FOLDER_NAME}
|
|
|
|
echo "Building..."
|
|
|
|
|
|
if [ $BUILD_TYPE == CMAKE ]
|
|
then
|
|
mkdir -p ./build
|
|
cd ./build
|
|
cmake ..
|
|
make -j8; make
|
|
echo "Installing..."
|
|
$_SUDO make install
|
|
|
|
elif [ $BUILD_TYPE == AUTOTOOLS ]
|
|
then
|
|
./autogen.sh
|
|
./configure && make check
|
|
echo "Installing..."
|
|
$_SUDO make install
|
|
$_SUDO ldconfig
|
|
|
|
elif [ $BUILD_TYPE == AUTOCONFIG ]
|
|
then
|
|
chmod +x configure
|
|
./configure --prefix=/usr/local
|
|
make -j8; make
|
|
|
|
echo "Installing..."
|
|
$_SUDO make install
|
|
|
|
elif [ $BUILD_TYPE == MAKE ]
|
|
then
|
|
make
|
|
$_SUDO make install
|
|
|
|
|
|
else
|
|
echo "!!! UNKNOWN BUILD TYPE ["${BUILD_TYPE}"]"
|
|
fi
|
|
|
|
echo "Cleaning up..."
|
|
cd ${CWD}
|
|
|
|
# uncomment the following line to remove source code
|
|
#rm -rf ./${LIBRARY_FOLDER_NAME}
|
|
|
|
echo "Finished!"
|
|
|
|
|