DAV fixed
This commit is contained in:
parent
87d65fcadc
commit
5f0b3b4d4e
1 changed files with 2 additions and 4 deletions
|
@ -28,7 +28,6 @@ cabalinstall () {
|
||||||
patched () {
|
patched () {
|
||||||
pkg=$1
|
pkg=$1
|
||||||
ver=$2
|
ver=$2
|
||||||
shift 1
|
|
||||||
if [ -z "$ver" ]; then
|
if [ -z "$ver" ]; then
|
||||||
cabal unpack $pkg
|
cabal unpack $pkg
|
||||||
else
|
else
|
||||||
|
@ -50,7 +49,7 @@ patched () {
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
cabalinstall "$@"
|
cabalinstall
|
||||||
rm -rf $pkg*
|
rm -rf $pkg*
|
||||||
cd ..
|
cd ..
|
||||||
}
|
}
|
||||||
|
@ -102,8 +101,7 @@ install_pkgs () {
|
||||||
patched yesod
|
patched yesod
|
||||||
patched shakespeare-text
|
patched shakespeare-text
|
||||||
patched process-conduit
|
patched process-conduit
|
||||||
patched gnuidn
|
patched DAV
|
||||||
patched DAV 0.5.1
|
|
||||||
patched yesod-static
|
patched yesod-static
|
||||||
patched uuid
|
patched uuid
|
||||||
patched dns
|
patched dns
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue