1 files changed, 0 insertions, 107 deletions
diff --git a/dist/travis/utils.sh b/dist/travis/utils.sh
deleted file mode 100644
index 5cbf186d7..000000000
--- a/dist/travis/utils.sh
+++ /dev/null
@@ -1,107 +0,0 @@
-travis_start () {
-  :
-}
-travis_finish () {
-  :
-}
-
-if [ -n "$TRAVIS" ]; then
-  # This is a trimmed down copy of https://github.com/travis-ci/travis-build/blob/master/lib/travis/build/bash/*
-  travis_time_start() {
-    # `date +%N` returns the date in nanoseconds. It is used as a replacement for $RANDOM, which is only available in bash.
-    travis_timer_id=`date +%N`
-    travis_start_time=$(travis_nanoseconds)
-    echo "travis_time:start:$travis_timer_id"
-  }
-  travis_time_finish() {
-    travis_end_time=$(travis_nanoseconds)
-    local duration=$(($travis_end_time-$travis_start_time))
-    echo "travis_time:end:$travis_timer_id:start=$travis_start_time,finish=$travis_end_time,duration=$duration"
-  }
-
-  if [ "$TRAVIS_OS_NAME" = "osx" ]; then
-    travis_nanoseconds() {
-      date -u '+%s000000000'
-    }
-  else
-    travis_nanoseconds() {
-      date -u '+%s%N'
-    }
-  fi
-
-  travis_start () {
-    echo "travis_fold:start:$1"
-    if [ -z "$3" ]; then
-      travis_time_start
-    fi
-    printf "$2\n"
-  }
-
-  travis_finish () {
-    if [ -z "$2" ]; then
-      travis_time_finish
-    fi
-    echo "travis_fold:end:$1"
-  }
-fi
-
-#--
-
-buildCmdOpts () {
-  # Extract from IMAGE (defined in .travis.yml)
-  BUILD_ARG="$IMAGE"
-  if [ "x$1" != "x" ]; then
-    BUILD_ARG="$IMAGE+$1"
-  fi
-
-  # Compute package name
-  PKG_SHORTCOMMIT="$(printf $TRAVIS_COMMIT | cut -c1-10)"
-  PKG_VER=`grep "ghdl_version=" configure | sed -e 's/.*"\(.*\)";/\1/'`
-  if [ -z "$TRAVIS_TAG" ]; then
-      # No tag: use date + commit id
-      PKG_TAG="$(date -u +%Y%m%d)-$PKG_SHORTCOMMIT";
-  elif expr "$TRAVIS_TAG" : 'v[0-9].*' > /dev/null; then
-      # Remove leading 'v' in tags in the filenames.
-      PKG_TAG="$(echo $TRAVIS_TAG | cut -c2-)"
-  else
-      # Regular tag (like snapshots), nothing to change.
-      PKG_TAG="$TRAVIS_TAG"
-  fi
-
-  # Extract from BUILD_ARG
-  IFS='+' read -ra REFS <<< "$BUILD_ARG"
-  DDIST=${REFS[0]}  # Linux distro (eg: ubuntuXX, fedoraXX)
-  DBLD=${REFS[1]}   # Build/backend (eg: mcode, llvm)
-  DEXT=${REFS[2]}   # Extra constraints: GPL, synth
-
-  PKG_NAME="ghdl-${PKG_TAG}-${DDIST}-${DBLD}"
-  BUILD_CMD_OPTS="$ENABLECOLOR -b $DBLD"
-
-  if [ "x$DEXT" = "xgpl" ]; then
-      BUILD_CMD_OPTS="$BUILD_CMD_OPTS --gpl"
-      PKG_NAME="ghdl-$DEXT-${PKG_TAG}"
-  fi
-  if [ "x$DEXT" = "xsynth" ]; then
-      BUILD_CMD_OPTS="$BUILD_CMD_OPTS --synth"
-      PKG_NAME="ghdl-$DEXT-${PKG_TAG}"
-  fi
-  export BUILD_CMD_OPTS="${BUILD_CMD_OPTS} -p $PKG_NAME"
-
-  GHDL_IMAGE_TAG="`echo $IMAGE | sed -e 's/+/-/g'`"
-  BUILD_IMAGE_TAG="$GHDL_IMAGE_TAG"
-
-  case $BUILD_ARG in
-    *gcc*)
-      BUILD_IMAGE_TAG="`echo $GHDL_IMAGE_TAG | sed 's#\(.*\)-gcc.*#\1-gcc#g'`"
-    ;;
-  esac
-
-  if [ "x$DEXT" != "x" ]; then
-    GHDL_IMAGE_TAG="$GHDL_IMAGE_TAG-$DEXT"
-  fi
-}
-
-#--
-
-. "$scriptdir/../ansi_color.sh"
-#disable_color