summaryrefslogtreecommitdiff
path: root/compile_release.sh
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-12 20:40:32 +0100
committerDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-12 20:40:32 +0100
commit211950a2e5ca3aa74300cea8ee5a97fc0554db8c (patch)
tree3c7eb9eb07a8fcf061261ba18d86d9f2acb7182f /compile_release.sh
parent38962e5630e1fd03012b858bb20f799c461fb859 (diff)
parent583efb4910a5287d8ca4a35896f751c167ec0d4d (diff)
downloadouroboros-211950a2e5ca3aa74300cea8ee5a97fc0554db8c.tar.gz
ouroboros-211950a2e5ca3aa74300cea8ee5a97fc0554db8c.zip
Merge branch 'be' of bitbucket.org:ouroboros-rina/ouroboros into be
Diffstat (limited to 'compile_release.sh')
-rwxr-xr-xcompile_release.sh35
1 files changed, 35 insertions, 0 deletions
diff --git a/compile_release.sh b/compile_release.sh
new file mode 100755
index 00000000..0dad6c91
--- /dev/null
+++ b/compile_release.sh
@@ -0,0 +1,35 @@
+#!/bin/bash
+
+ME=compile_release
+
+if (($# == 1 ))
+then
+ PREFIX=`echo "$1"|sed -e "s,\/$,,"`
+else
+ PREFIX="/usr/local/ouroboros"
+fi
+
+BUILDDIR=build
+RELEASEDIR=release
+
+echo "$ME: Prefix is $PREFIX"
+
+echo "$ME: Build directory will be '$BUILDDIR'"
+if test -n "$BUILDDIR" ; then
+ mkdir -p $BUILDDIR || {
+ echo "$ME: Cannot create directory '$BUILDDIR'"
+ }
+fi
+cd $BUILDDIR
+
+echo "$ME: Release directory will be '$RELEASEDIR'"
+if test -n "$RELEASEDIR" ; then
+ mkdir -p $RELEASEDIR || {
+ echo "$ME: Cannot create directory '$RELEASEDIR'"
+ }
+fi
+cd $RELEASEDIR
+
+cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_BUILD_TYPE=Release ../..
+
+make