diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-11-15 13:19:29 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-11-15 13:21:22 +0100 |
commit | 3d8c53bb3708867c77456138c5190b4797d9186b (patch) | |
tree | 74771bf2fcf9649f34feea4c4f515d951a74f291 /compile_debug.sh | |
parent | ed08e360f59885c6ddb72254cd58c5945fc86cec (diff) | |
download | ouroboros-3d8c53bb3708867c77456138c5190b4797d9186b.tar.gz ouroboros-3d8c53bb3708867c77456138c5190b4797d9186b.zip |
build: Deprecate the compile/install scripts
The build system updates have made installing simple and robust using
the following commands:
mkdir build && cd build
cmake ..
ccmake .
sudo make install
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'compile_debug.sh')
-rwxr-xr-x | compile_debug.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/compile_debug.sh b/compile_debug.sh deleted file mode 100755 index 3ea31882..00000000 --- a/compile_debug.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/usr/bin/env bash - -ME=compile_debug - -if (($# == 1 )) -then - PREFIX=${1/%\//} -else - PREFIX="/usr/local/ouroboros" -fi - -BUILDDIR=build -DEBUGDIR=debug - -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 || exit 1 - -echo "$ME: Debug directory will be '$DEBUGDIR'" -if test -n "$DEBUGDIR" ; then - mkdir -p $DEBUGDIR || { - echo "$ME: Cannot create directory '$DEBUGDIR'" - } -fi -cd $DEBUGDIR || exit 1 - -cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_BUILD_TYPE=Debug ../.. - -make && make check |