summaryrefslogtreecommitdiff
path: root/packages/glpk
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2011-12-01 10:11:04 +0000
committerAlberto Ruiz <aruiz@um.es>2011-12-01 10:11:04 +0000
commit196595ecca4232470ce34e6ae1f4e3f297466fc5 (patch)
tree021439a18cb3d550f0d871c5f29ffd09c0e486f0 /packages/glpk
parent0234c29e0467aabf70304ef95375643455f7ff24 (diff)
OSX options
Diffstat (limited to 'packages/glpk')
-rw-r--r--packages/glpk/hmatrix-glpk.cabal9
1 files changed, 9 insertions, 0 deletions
diff --git a/packages/glpk/hmatrix-glpk.cabal b/packages/glpk/hmatrix-glpk.cabal
index 092fd41..7fdfaac 100644
--- a/packages/glpk/hmatrix-glpk.cabal
+++ b/packages/glpk/hmatrix-glpk.cabal
@@ -33,3 +33,12 @@ library
33 ghc-options: -Wall 33 ghc-options: -Wall
34 34
35 extra-libraries: glpk 35 extra-libraries: glpk
36
37 if os(OSX)
38 extra-lib-dirs: /opt/local/lib/
39 include-dirs: /opt/local/include/
40 extra-lib-dirs: /usr/local/lib/
41 include-dirs: /usr/local/include/
42 if arch(i386)
43 cc-options: -arch i386
44