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_release.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_release.sh')
-rwxr-xr-x | compile_release.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/compile_release.sh b/compile_release.sh deleted file mode 100755 index a3b7dc2a..00000000 --- a/compile_release.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/usr/bin/env bash - -ME=compile_release - -if (($# == 1 )) -then - PREFIX=${1/%\//} -else - PREFIX="" -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 || exit 1 - -echo "$ME: Release directory will be '$RELEASEDIR'" -if test -n "$RELEASEDIR" ; then - mkdir -p $RELEASEDIR || { - echo "$ME: Cannot create directory '$RELEASEDIR'" - } -fi -cd $RELEASEDIR || exit 1 - -cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_BUILD_TYPE=Release ../.. - -make |