How do I add new dependencies and source files into the build system?

I have added a subdirectory named verify to the compiler directory, and made a change to simplCore to call functions from it. I have managed to get it to compile by editing ghc.cabal in the compiler directory (after some problems with cabal which are now sorted). But I think this is not the correct way to do it, as ./configure rebuilds this file, it seems. Where should I be doing this? -- Colin Adams Preston Lancashire