Experimental support for RedHat Enterprise Linux user

Author: joern274

deps/igraph-0.10.x/CMakeLists.txt

@@ -19,7 +19,7 @@ ExternalProject_Add(igraph_0_10
   PREFIX "${IGRAPH_INSTALL}"
   URL "https://github.com/igraph/igraph/releases/download/0.10.12/igraph-0.10.12.tar.gz"
   SOURCE_DIR "${IGRAPH_DOWNLOAD}"
-  CMAKE_ARGS "-DCMAKE_INSTALL_PREFIX=${IGRAPH_INSTALL}" "-DBUILD_SHARED_LIBS=ON" "-DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE}" "-Wno-deprecated" "-DIGRAPH_VERSION=0.10.12"
+  CMAKE_ARGS "-DCMAKE_INSTALL_PREFIX=${IGRAPH_INSTALL}" "-DBUILD_SHARED_LIBS=ON" "-DCMAKE_INSTALL_LIBDIR=${IGRAPH_INSTALL}/lib" "-DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE}" "-Wno-deprecated" "-DIGRAPH_VERSION=0.10.12"
   BINARY_DIR "${IGRAPH_BUILD}"
   PATCH_COMMAND echo "No patch for igraph-0.10.x required"
   INSTALL_DIR "${IGRAPH_INSTALL}"

install_dependencies.sh

@@ -68,6 +68,7 @@ if [[ "$platform" == 'macOS' ]]; then
         exit 255
     fi
 elif [[ "$platform" == 'linux' ]]; then
+    . /etc/os-release
     if [ "$distribution" == 'Ubuntu' ] || [ "$distribution" == 'LinuxMint' ]; then
 
         sudo apt-get update && sudo apt-get install -y build-essential verilator \
@@ -85,6 +86,23 @@ elif [[ "$platform" == 'linux' ]]; then
         gcovr python-sphinx doxygen python-sphinx_rtd_theme python-jedi \
         python-pip pybind11 rapidjson spdlog graphviz boost \
         python-dateutil z3
+    elif [[ "$ID" == 'rhel' ]]; then
+       RHEL_VERSION=`echo $VERSION_ID | cut -d. -f1`
+       echo "Running experimental setup for RedHat Enterprise Linux version $RHEL_VERSION <$VERSION_ID>."
+       read -p "Will try to install some development packages from Fedora Rawhide. Is this OK? [yN] " yn
+       if [ "$yn" != 'y' ] && [ "$yn" != 'Y' ]; then
+	       echo "Aborted installation"
+	       exit 255
+       fi
+       for pkg in pkgconfig git qtv llvm cmake flex bison python graphviz boost readline g++ make; do
+	       sudo yum install -y $pkg
+       done
+       sudo yum install -y https://dl.fedoraproject.org/pub/epel/epel-release-latest-$RHEL_VERSION.noarch.rpm
+       sudo yum update -y
+       for pkg in boost-devel z3 rapidjson-devel qt5-qtbase-devel qt5-qtsvg-devel z3-devel python-devel verilator; do
+	       sudo yum install -y $pkg
+       done
+       exit 255
     else
        echo "Unsupported Linux distribution: abort!"
        exit 255