@@ -8,21 +8,24 @@
8# DESCRIPTION: Run tests for all source directories listed in $SOURCES.
8# DESCRIPTION: Run tests for all source directories listed in $SOURCES.
9# Uses local versions of those sources.
9# Uses local versions of those sources.
11+# REQUIREMENTS: bash >= 4
11#===============================================================================
12#===============================================================================
13set -o nounset
14set -o nounset
14set -o errexit
15set -o errexit
16−SOURCES=( servant servant-server servant-client servant-jquery servant-docs )
17+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
17GHC_FLAGS="-Werror"
18GHC_FLAGS="-Werror"
19+SOURCES_TXT="$( dirname $DIR)/sources.txt"
22+readarray -t SOURCES < "$SOURCES_TXT"
19prepare_sandbox () {
25prepare_sandbox () {
20 cabal sandbox init
26 cabal sandbox init
21 for s in ${SOURCES[@]} ; do
27 for s in ${SOURCES[@]} ; do
23− cabal sandbox init --sandbox=../
28+ (cd "$s" && cabal sandbox init --sandbox=../ && cabal sandbox add-source .)
24− cabal sandbox add-source .