diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-05-08 13:43:07 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-05-08 13:43:07 +0200 |
| commit | 551cf7498c33bc0948bb4cb8444ae6f8af7278ea (patch) | |
| tree | ec86ff73151746f5e13b83549ea5c60ed442764d /reinstall.sh | |
| parent | 561a6c0e21bb77c21114ccbbd86d3af5ddb5a3f1 (diff) | |
separation ok
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 |