mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-02-02 17:40:26 +01:00
Share ssh dir for multiple LTS builds
This commit is contained in:
parent
f509ad6311
commit
dfb0785155
@ -7,10 +7,12 @@ TARGET=$1
|
|||||||
|
|
||||||
# For nightly-YYYY-MM-DD, tag should be nightly
|
# For nightly-YYYY-MM-DD, tag should be nightly
|
||||||
# For lts-X.Y, tag should be ltsX
|
# For lts-X.Y, tag should be ltsX
|
||||||
TAG=$(echo $TARGET | cut -d- -f 1)
|
SHORTNAME=$(echo $TARGET | cut -d- -f 1)
|
||||||
if [ $TAG = "lts" ]
|
if [ $SHORTNAME = "lts" ]
|
||||||
then
|
then
|
||||||
TAG=$(echo $TARGET | sed 's@^lts-\([0-9]*\)\.[0-9]*@lts\1@')
|
TAG=$(echo $TARGET | sed 's@^lts-\([0-9]*\)\.[0-9]*@lts\1@')
|
||||||
|
else
|
||||||
|
TAG=$SHORTNAME
|
||||||
fi
|
fi
|
||||||
|
|
||||||
IMAGE=snoyberg/stackage:$TAG
|
IMAGE=snoyberg/stackage:$TAG
|
||||||
@ -23,7 +25,7 @@ CABAL_DIR=$ROOT/cabal
|
|||||||
GHC_DIR=$ROOT/ghc
|
GHC_DIR=$ROOT/ghc
|
||||||
DOT_STACKAGE_DIR=$ROOT/dot-stackage
|
DOT_STACKAGE_DIR=$ROOT/dot-stackage
|
||||||
WORKDIR=$ROOT/$TAG/work
|
WORKDIR=$ROOT/$TAG/work
|
||||||
SSH_DIR=$ROOT/ssh-$TAG
|
SSH_DIR=$ROOT/ssh-$SHORTNAME
|
||||||
|
|
||||||
mkdir -p \
|
mkdir -p \
|
||||||
"$CABAL_DIR" \
|
"$CABAL_DIR" \
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user