diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-05-20 17:35:40 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-05-20 17:35:40 +0200 |
| commit | d0fc6c7192badfa6f03baf0e02e0cf2a73c3906b (patch) | |
| tree | 0a2ea2c5e39933db2e131d4e58136967a96144e4 /reinstall.sh | |
| parent | c5c6983a1970592c101e76411c3428a301a6a8e3 (diff) | |
loadMatrix, saveMatrix
Diffstat (limited to 'reinstall.sh')
| -rw-r--r-- | reinstall.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/reinstall.sh b/reinstall.sh deleted file mode 100644 index 5e01471..0000000 --- a/reinstall.sh +++ /dev/null | |||
| @@ -1,12 +0,0 @@ | |||
| 1 | cd packages/base | ||
| 2 | cabal install --force-reinstalls --enable-documentation | ||
| 3 | cd ../hmatrix | ||
| 4 | cabal install --force-reinstalls --enable-documentation | ||
| 5 | cd ../special | ||
| 6 | cabal install --force-reinstalls --enable-documentation | ||
| 7 | cd ../glpk | ||
| 8 | cabal install --force-reinstalls --enable-documentation | ||
| 9 | cd ../tests | ||
| 10 | cabal install --force-reinstalls --enable-documentation --enable-tests | ||
| 11 | cd ../.. | ||
| 12 | |||