summaryrefslogtreecommitdiff
path: root/install_debug.sh
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-03-15 15:48:52 +0100
committerDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-03-15 15:48:52 +0100
commit04bf4380b30b58252d1d2aab75a9dcc5c084c831 (patch)
treea33ce52d5b71f49c75bc7de3f9549d6257b259e1 /install_debug.sh
parentceaea65296a9cb6e2235b0dd429ab3d590b634d3 (diff)
parent7ca8145790db15d7da3c2f1b260ad3421993b67c (diff)
downloadouroboros-04bf4380b30b58252d1d2aab75a9dcc5c084c831.tar.gz
ouroboros-04bf4380b30b58252d1d2aab75a9dcc5c084c831.zip
Merge branch 'be' of bitbucket.org:ouroboros-rina/ouroboros into b-du_buff
Diffstat (limited to 'install_debug.sh')
-rwxr-xr-xinstall_debug.sh18
1 files changed, 18 insertions, 0 deletions
diff --git a/install_debug.sh b/install_debug.sh
new file mode 100755
index 00000000..ef6b8a30
--- /dev/null
+++ b/install_debug.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+ME=install_debug
+
+if (($# == 1 ))
+then
+ PREFIX=`echo "$1"|sed -e "s,\/$,,"`
+else
+ PREFIX="/usr/local/ouroboros"
+fi
+
+BUILDDIR=build
+DEBUGDIR=debug
+
+bash compile_debug.sh $PREFIX
+
+cd $BUILDDIR/$DEBUGDIR
+make install