From 266e5fb26bb19fe9beff4b01ca45a997a1d1e2e5 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cremersc@brutus2.ethz.ch>
Date: Thu, 11 Nov 2010 12:11:55 +0100
Subject: [PATCH] BRUTUS: Added special build script.

Originates in newCompromise branch.
---
 src/build-brutus.sh | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100755 src/build-brutus.sh

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/
+