setup.sh

#!/bin/sh

CORE="cauterize-core"
OTHER="cauterize cauterize-test caut-c11-synchronous caut-hs2010-synchronous"
REPOS="$CORE $OTHER"

PREFIX="git@gitlab.com:cauterize/"
POSTFIX=".git"

mkdir -p cauterize-env/sandbox
cd cauterize-env/sandbox
cabal sandbox init --sandbox=.
# cabal install mtl-2.2.1 parsec-3.1.5 --force-reinstalls
cd ..

for i in $REPOS;
  do
    git clone $PREFIX$i$POSTFIX;
  done

for i in $OTHER;
  do
    cd $i
    cabal sandbox init --sandbox=../sandbox
    cabal sandbox add-source ../$CORE
    cd ..
  done

# for i in $REPOS;
#   do
#     cd $i
#     cabal install
#     cd ..
#   done

echo "Done!"