From d0fc6c7192badfa6f03baf0e02e0cf2a73c3906b Mon Sep 17 00:00:00 2001 From: Alberto Ruiz Date: Tue, 20 May 2014 17:35:40 +0200 Subject: loadMatrix, saveMatrix --- reinstall.sh | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 reinstall.sh (limited to 'reinstall.sh') diff --git a/reinstall.sh b/reinstall.sh deleted file mode 100644 index 5e01471..0000000 --- a/reinstall.sh +++ /dev/null @@ -1,12 +0,0 @@ -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 -cd ../tests -cabal install --force-reinstalls --enable-documentation --enable-tests -cd ../.. - -- cgit v1.2.3