diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-02-12 13:27:40 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-02-12 13:27:40 +0100 |
commit | a59d0c7b448597865c679c9d19ee13de742cea02 (patch) | |
tree | ef683a73a509eed0aaf2dac9ce197cb2082ea29f /compile_release.sh | |
parent | 4944a01444f146fdfb1a45ed346b5bc4744c0a45 (diff) | |
download | ouroboros-a59d0c7b448597865c679c9d19ee13de742cea02.tar.gz ouroboros-a59d0c7b448597865c679c9d19ee13de742cea02.zip |
include: Add logging infrastructure
Adds the logging infrastructure to the prototype. 2 helper scripts are
also provided to compile the prototype in either release or debug
mode. In debug mode debugging logs are printed.
Diffstat (limited to 'compile_release.sh')
-rwxr-xr-x | compile_release.sh | 35 |
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 |