summaryrefslogtreecommitdiff
path: root/compile_release.sh
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@ugent.be>2017-11-15 13:19:29 +0100
committerSander Vrijders <sander.vrijders@ugent.be>2017-11-15 13:21:22 +0100
commit3d8c53bb3708867c77456138c5190b4797d9186b (patch)
tree74771bf2fcf9649f34feea4c4f515d951a74f291 /compile_release.sh
parented08e360f59885c6ddb72254cd58c5945fc86cec (diff)
downloadouroboros-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-xcompile_release.sh35
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