From eaa21e363a62274b3b457556d8f41b10cc335513 Mon Sep 17 00:00:00 2001 From: Alberto Ruiz Date: Wed, 23 Apr 2014 14:18:43 +0200 Subject: new version --- reinstall.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'reinstall.sh') diff --git a/reinstall.sh b/reinstall.sh index adf3638..a2d1271 100644 --- a/reinstall.sh +++ b/reinstall.sh @@ -1,10 +1,10 @@ cabal install --force-reinstalls cd packages/special -cabal install --force-reinstalls +cabal install --force-reinstalls --enable-documentation cd ../glpk -cabal install --force-reinstalls +cabal install --force-reinstalls --enable-documentation cd ../tests -cabal install --force-reinstalls --enable-tests +cabal install --force-reinstalls --enable-documentation --enable-tests cd ../.. -- cgit v1.2.3