On 2/5/08, Don Stewart <dons at galois.com> wrote: > You need to use the ./build script which builds all the programs, not > just the cabal ones, and generates the extra files. Thanks. -- vvv