2015-06-05 14:14:26 +02:00
|
|
|
#!/bin/bash -
|
|
|
|
#===============================================================================
|
|
|
|
#
|
|
|
|
# FILE: lib/common.sh
|
|
|
|
#
|
|
|
|
# DESCRIPTION: Common functions for servant's shell scripts
|
|
|
|
# Meant to be sourced rather than run.
|
|
|
|
#
|
|
|
|
# REQUIREMENTS: bash >= 4
|
|
|
|
#===============================================================================
|
|
|
|
|
|
|
|
|
2015-06-05 15:08:52 +02:00
|
|
|
DIR=$( dirname $( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ))
|
2015-07-06 09:05:45 +02:00
|
|
|
ROOT=$( dirname $DIR )
|
2015-06-05 14:14:26 +02:00
|
|
|
DRY_RUN=false
|
|
|
|
POSITION="none"
|
|
|
|
SOURCES_TXT="$( dirname $DIR)/sources.txt"
|
|
|
|
CABAL=${CABAL:-cabal}
|
|
|
|
|
|
|
|
declare -a SOURCES
|
|
|
|
readarray -t SOURCES < "$SOURCES_TXT"
|
|
|
|
|
|
|
|
join () { local IFS="$1"; shift; echo "$*"; }
|
|
|
|
|
|
|
|
versions_equal () {
|
2015-07-06 09:05:45 +02:00
|
|
|
local NUM=$(cd "$ROOT" && find . -name 'servant*.cabal' | xargs grep "^version:" | awk '{ print $2 }' | uniq -c | wc -l)
|
2015-06-05 14:14:26 +02:00
|
|
|
if [ 1 -eq $NUM ] ; then
|
|
|
|
return 0
|
|
|
|
else
|
|
|
|
echo "versions of packages are not all the same!" && exit 1
|
|
|
|
fi
|
|
|
|
}
|