diff --git a/src/build-brutus.sh b/src/build-brutus.sh new file mode 100755 index 0000000..34fce5b --- /dev/null +++ b/src/build-brutus.sh @@ -0,0 +1,24 @@ +#!/bin/sh + +# Brutus-specific setup +echo "If things don't work, try:" +echo +echo " module load cmake" +echo " module load gcc" +echo + +# Default flags +CMFLAGS="-D CMAKE_BUILD_TYPE:STRING=Release" + +# Make for windows and linux +cmake $CMFLAGS -D TARGETOS=Unix . && make + +echo +echo +echo "---------------------------------------------------------" +echo "Built the Linux binary for Brutus" + +# Copy to the correct locations +cp scyther-linux ../gui/Scyther/ +cp scyther-linux $HOME/bin/ +