diff options
Diffstat (limited to 'packages/Makefile')
-rw-r--r-- | packages/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/packages/Makefile b/packages/Makefile index 648c726..9f7a422 100644 --- a/packages/Makefile +++ b/packages/Makefile | |||
@@ -6,4 +6,7 @@ all: | |||
6 | cd $$p; cabal install --force-reinstall --enable-documentation ; cd -; \ | 6 | cd $$p; cabal install --force-reinstall --enable-documentation ; cd -; \ |
7 | fi; \ | 7 | fi; \ |
8 | done | 8 | done |
9 | cd sparse; \ | ||
10 | cabal install --extra-include-dirs=$(MKL) --extra-lib-dirs=$(MKL) \ | ||
11 | --force-reinstall --enable-documentation ; cd -; | ||
9 | 12 | ||