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 /install_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 'install_release.sh')
| -rwxr-xr-x | install_release.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/install_release.sh b/install_release.sh deleted file mode 100755 index fa6fe675..00000000 --- a/install_release.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/usr/bin/env bash - -if (($# == 1 )) -then - PREFIX=${1/%\//} -else - PREFIX="" -fi - -BUILDDIR=build -RELEASEDIR=release - -bash compile_release.sh "$PREFIX" - -cd $BUILDDIR/$RELEASEDIR || exit 1 -make install |