diff options
| author | Alberto Ruiz <aruiz@um.es> | 2013-07-05 18:44:02 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2013-07-05 18:44:02 +0200 |
| commit | 2a936e0d30ed1f02ae33baa3124fb7a77d52231b (patch) | |
| tree | e9fb2557a44574b91e29e276331289bb279c3309 /reinstall.sh | |
| parent | b81b18e9a965fc4c523aeb0062e34be3af0fb8e9 (diff) | |
minor changes
Diffstat (limited to 'reinstall.sh')
| -rw-r--r-- | reinstall.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/reinstall.sh b/reinstall.sh new file mode 100644 index 0000000..adf3638 --- /dev/null +++ b/reinstall.sh | |||
| @@ -0,0 +1,10 @@ | |||
| 1 | cabal install --force-reinstalls | ||
| 2 | |||
| 3 | cd packages/special | ||
| 4 | cabal install --force-reinstalls | ||
| 5 | cd ../glpk | ||
| 6 | cabal install --force-reinstalls | ||
| 7 | cd ../tests | ||
| 8 | cabal install --force-reinstalls --enable-tests | ||
| 9 | cd ../.. | ||
| 10 | |||