diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-04-23 14:18:43 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-04-23 14:18:43 +0200 |
| commit | eaa21e363a62274b3b457556d8f41b10cc335513 (patch) | |
| tree | c6ef04811be543902d7c5507f56f6be60fb52f51 /reinstall.sh | |
| parent | 752b923ca4e83f1d5f741beab7eb9857591bdcba (diff) | |
new version
Diffstat (limited to 'reinstall.sh')
| -rw-r--r-- | reinstall.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/reinstall.sh b/reinstall.sh index adf3638..a2d1271 100644 --- a/reinstall.sh +++ b/reinstall.sh | |||
| @@ -1,10 +1,10 @@ | |||
| 1 | cabal install --force-reinstalls | 1 | cabal install --force-reinstalls |
| 2 | 2 | ||
| 3 | cd packages/special | 3 | cd packages/special |
| 4 | cabal install --force-reinstalls | 4 | cabal install --force-reinstalls --enable-documentation |
| 5 | cd ../glpk | 5 | cd ../glpk |
| 6 | cabal install --force-reinstalls | 6 | cabal install --force-reinstalls --enable-documentation |
| 7 | cd ../tests | 7 | cd ../tests |
| 8 | cabal install --force-reinstalls --enable-tests | 8 | cabal install --force-reinstalls --enable-documentation --enable-tests |
| 9 | cd ../.. | 9 | cd ../.. |
| 10 | 10 | ||