respect LIB_OPTIONS when building external libraries
respect LIB_OPTIONS when building external libraries

Ignore-this: 90f357769832f80cb688556eba716c7

darcs-hash:20110131093918-1a7c6-f56c2b3db2dd08a25c8b54239fb6ce2dccf1dce1

jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc