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 @@
+cabal install --force-reinstalls
+
+cd packages/special
+cabal install --force-reinstalls
+cd ../glpk
+cabal install --force-reinstalls
+cd ../tests
+cabal install --force-reinstalls --enable-tests
+cd ../..
+