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@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@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@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@kyavaio:~/tmp/bindings-yices-0.1$ kyagrd@kyavaio:~/tmp/bindings-yices-0.1$ ls /home/kyagrd/yices-1.0.21/include/ yices_c.h yicesl_c.h kyagrd@kyavaio:~/tmp/bindings-yices-0.1$ ls /home/kyagrd/yices-1.0.21/lib/ libyices.a libyices.so kyagrd@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@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