diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-06-10 18:43:16 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-06-10 18:43:16 +0200 |
| commit | 084e87f7279463b0171505cb8ec25f977ffcfe85 (patch) | |
| tree | a9d86224415d074bd6810124bf6d2fdb88037498 /packages/Makefile | |
| parent | 8325e1a676a1a8e253e6915d62630145051aee11 (diff) | |
minor fixes
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 | ||