From 3d8c53bb3708867c77456138c5190b4797d9186b Mon Sep 17 00:00:00 2001
From: Dimitri Staessens <dimitri.staessens@ugent.be>
Date: Wed, 15 Nov 2017 13:19:29 +0100
Subject: 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>
---
 compile_debug.sh   | 35 -----------------------------------
 compile_release.sh | 35 -----------------------------------
 install_debug.sh   | 16 ----------------
 install_release.sh | 16 ----------------
 4 files changed, 102 deletions(-)
 delete mode 100755 compile_debug.sh
 delete mode 100755 compile_release.sh
 delete mode 100755 install_debug.sh
 delete mode 100755 install_release.sh

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
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
diff --git a/install_debug.sh b/install_debug.sh
deleted file mode 100755
index 277ca92d..00000000
--- a/install_debug.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/env bash
-
-if (($# == 1 ))
-then
-    PREFIX=${1/%\//}
-else
-    PREFIX="/usr/local/ouroboros"
-fi
-
-BUILDDIR=build
-DEBUGDIR=debug
-
-bash compile_debug.sh "$PREFIX"
-
-cd $BUILDDIR/$DEBUGDIR || exit 1
-make install
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
-- 
cgit v1.2.3