diff options
Diffstat (limited to 'reinstall.sh')
-rw-r--r-- | reinstall.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/reinstall.sh b/reinstall.sh index a2d1271..5e01471 100644 --- a/reinstall.sh +++ b/reinstall.sh | |||
@@ -1,6 +1,8 @@ | |||
1 | cabal install --force-reinstalls | 1 | cd packages/base |
2 | 2 | cabal install --force-reinstalls --enable-documentation | |
3 | cd packages/special | 3 | cd ../hmatrix |
4 | cabal install --force-reinstalls --enable-documentation | ||
5 | cd ../special | ||
4 | cabal install --force-reinstalls --enable-documentation | 6 | cabal install --force-reinstalls --enable-documentation |
5 | cd ../glpk | 7 | cd ../glpk |
6 | cabal install --force-reinstalls --enable-documentation | 8 | cabal install --force-reinstalls --enable-documentation |