ghc-options: -optc@CPPFLAGS@
cc-options:  @CPPFLAGS@
ld-options:  @LDFLAGS@
