From 551cf7498c33bc0948bb4cb8444ae6f8af7278ea Mon Sep 17 00:00:00 2001 From: Alberto Ruiz Date: Thu, 8 May 2014 13:43:07 +0200 Subject: separation ok --- reinstall.sh | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'reinstall.sh') diff --git a/reinstall.sh b/reinstall.sh index a2d1271..5e01471 100644 --- a/reinstall.sh +++ b/reinstall.sh @@ -1,6 +1,8 @@ -cabal install --force-reinstalls - -cd packages/special +cd packages/base +cabal install --force-reinstalls --enable-documentation +cd ../hmatrix +cabal install --force-reinstalls --enable-documentation +cd ../special cabal install --force-reinstalls --enable-documentation cd ../glpk cabal install --force-reinstalls --enable-documentation -- cgit v1.2.3