From 2a936e0d30ed1f02ae33baa3124fb7a77d52231b Mon Sep 17 00:00:00 2001 From: Alberto Ruiz Date: Fri, 5 Jul 2013 18:44:02 +0200 Subject: minor changes --- reinstall.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 reinstall.sh (limited to 'reinstall.sh') 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 ../.. + -- cgit v1.2.3