Commit 7c79508c authored by bardur.arantsson's avatar bardur.arantsson Committed by GitHub
Browse files

Delete setup-dev.sh

Remove setup-dev.sh since it is no longer necessary post-new-build.
parent 8376f7f5
#!/bin/bash -x
SCRIPT_DIR="`dirname $0`"
die() {
echo "$*"
exit 1
}
setup() {
# Extract parameters
local NAME="$1"
shift
local DEPS="$@"
# (Re-)create sandbox
cabal sandbox delete # Ignore error status; probably just means sandbox doesn't exist
cabal sandbox init || die "$NAME: Could not initialize sandbox"
# Add dependencies
for DEP in $DEPS; do
cabal sandbox add-source "$DEP"
done
# Install dependencies
cabal install --only-dependencies --enable-tests || die "$NAME: Could not install needed dependencies"
# Build the 'Setup' executable
ghc --make -threaded -i -i. Setup.hs || die "$NAME: Could not create 'Setup' executable"
# Build the package
local PACKAGEDB=`cabal exec -- sh -c 'echo $GHC_PACKAGE_PATH' | sed 's/:.*//'`
echo "Cabal package DB location: $PACKAGEDB"
./Setup configure --enable-tests --package-db="$PACKAGEDB" || die "$NAME: 'configure' failed"
./Setup build || die "$NAME: 'build' failed"
}
# Build
(cd ${SCRIPT_DIR}/Cabal && setup "Cabal" ) || die "Failed to build Cabal"
(cd ${SCRIPT_DIR}/cabal-install && setup "cabal-install" ../Cabal) || die "Failed to build cabal-install"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment