5.1 Compiling C library stubs

For hints on what ghc options to use (and options to feed the IDL compiler), have a look at the Makefiles in the examples section of the distribution.