[Haskell-cafe] Is cabal option --extra-lib-dirs working?

[Ahn, Ki Yung]

I had some problem with --extra-lib-dirs option in cabal-install.

I've been trying installing bindings-yices package on hackage.  Since
yices may be installed in non-standard location, such as under your own
home directory, one may have to use --extra-include-dirs and
--extra-lib-dirs option.  --extra-include-dirs work well and locates the
 header for the yices C binding, but --extra-lib-dirs option does not
seem to work well.

Would this be a cabal-install bug, or some package misconfiguration?

====================================================
kyagrd at kyavaio:~/tmp/bindings-yices-0.1$ cabal configure
Resolving dependencies...
Configuring bindings-yices-0.1...
cabal: Missing dependency on a foreign library:
* Missing header file: yices_c.h
* Missing C library: yices
This problem can usually be solved by installing the system package that
provides this library (you may need the "-dev" version). If the library is
already installed but in a non-standard location then you can use the flags
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.
kyagrd at kyavaio:~/tmp/bindings-yices-0.1$ cabal configure
--extra-include-dirs=/home/kyagrd/yices-1.0.21/include
Resolving dependencies...
Configuring bindings-yices-0.1...
cabal: Missing dependency on a foreign library:
* Missing C library: yices
This problem can usually be solved by installing the system package that
provides this library (you may need the "-dev" version). If the library is
already installed but in a non-standard location then you can use the flags
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.
kyagrd at kyavaio:~/tmp/bindings-yices-0.1$ cabal configure
--extra-include-dirs=/home/kyagrd/yices-1.0.21/include
--extra-lib-dirs=/home/kyagrd/yices-1.0.21/lib
Resolving dependencies...
Configuring bindings-yices-0.1...
cabal: Missing dependency on a foreign library:
* Missing C library: yices
This problem can usually be solved by installing the system package that
provides this library (you may need the "-dev" version). If the library is
already installed but in a non-standard location then you can use the flags
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.
kyagrd at kyavaio:~/tmp/bindings-yices-0.1$
kyagrd at kyavaio:~/tmp/bindings-yices-0.1$ ls
/home/kyagrd/yices-1.0.21/include/
yices_c.h  yicesl_c.h
kyagrd at kyavaio:~/tmp/bindings-yices-0.1$ ls /home/kyagrd/yices-1.0.21/lib/
libyices.a  libyices.so
kyagrd at kyavaio:~/tmp/bindings-yices-0.1$ ls -al
/home/kyagrd/yices-1.0.21/include/
합계 40
drwxr-xr-x 2 kyagrd kyagrd  4096 2009-07-17 20:58 .
drwxr-xr-x 6 kyagrd kyagrd  4096 2009-07-07 23:19 ..
-rw-r--r-- 1 kyagrd kyagrd 27948 2009-05-05 19:03 yices_c.h
-rw-r--r-- 1 kyagrd kyagrd  1786 2009-05-05 19:03 yicesl_c.h
kyagrd at kyavaio:~/tmp/bindings-yices-0.1$ ls -al
/home/kyagrd/yices-1.0.21/lib/
합계 8936
drwxr-xr-x 2 kyagrd kyagrd    4096 2009-12-30 19:29 .
drwxr-xr-x 6 kyagrd kyagrd    4096 2009-07-07 23:19 ..
-rw-r--r-- 1 kyagrd kyagrd 5167710 2009-05-05 19:03 libyices.a
-rwxr-xr-x 1 kyagrd kyagrd 3955648 2009-05-05 19:03 libyices.so