diff options
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 | |||