Quelle prerequisites.sh Sprache: Shell

#!/bin/bash

set -e

notice_it() {
    printf '\033[32m%s\033[0m\n' "$*"
}

error() {
    printf '\033[31m%s\033[0m\n' "$*"
    exit 1
}

SEMI_DIR=`dirname "$0"`
LIBS_DIR="$SEMI_DIR/libsemigroups"

# Get libsemigroups version from file
if [ -f "$SEMI_DIR/.LIBSEMIGROUPS_VERSION" ]; then
  VERS=`tr -d '\n' < $SEMI_DIR/.LIBSEMIGROUPS_VERSION`
else
  error "Error, cannot find $SEMI_DIR/.LIBSEMIGROUPS_VERSION"
fi

notice_it "libsemigroups v$VERS is required by this version of Semigroups"

if [ -f "config.log" ] ; then
  if grep -q "\.\/configure.*\-\-with\-external\-libsemigroups" config.log ; then
    notice_it "Configuration flag \"--with-external-libsemigroups\" found in config.log"
    notice_it "Not downloading libsemigroups, no further prerequisites required"
    exit 0
  fi
elif [[ ! -z "${DO_NOT_DOWNLOAD_LIBSEMIGROUPS}" ]]; then
  notice_it "Environment variable DO_NOT_DOWNLOAD_LIBSEMIGROUPS is defined"
  notice_it "Not downloading libsemigroups, no further prerequisites required"
  exit 0
fi

if [ -d "$LIBS_DIR" ] && [ "$(ls -A $LIBS_DIR)" ]; then
  notice_it "The libsemigroups directory exists and is non-empty"
  if [ -f "$LIBS_DIR/.VERSION" ]; then
    notice_it "The file libsemigroups/.VERSION is present"
    INSTALLED=`tr -d '\n' < "$LIBS_DIR/.VERSION"`
  elif [ -f "$LIBS_DIR/etc/version-number.sh" ]; then
    notice_it "Getting version number via etc/version-number.sh in libsemigroups"
    cd "$LIBS_DIR"
    INSTALLED=`etc/version-number.sh`
    cd "$SEMI_DIR"
  else
    error "Error, it is not possible to determine the libsemigroups version"
  fi
  notice_it "The installed version of libsemigroups is v$INSTALLED"
  LEAST=`echo -e "$VERS\n$INSTALLED" | sort -V | head -n1`
  if [[ "$VERS" != "$LEAST" ]]; then
    error "Error, the installed version of libsemigroups is too old"
  fi
  exit 0
fi

# Download libsemigroups
notice_it "Downloading libsemigroups v$VERS into $LIBS_DIR..."
curl -L -O "https://github.com/libsemigroups/libsemigroups/releases/download/v$VERS/libsemigroups-$VERS.tar.gz"
tar -xzf "libsemigroups-$VERS.tar.gz" && rm -f "libsemigroups-$VERS.tar.gz" && mv "libsemigroups-$VERS" "$LIBS_DIR"

quality94%

¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.