Re: cannot build 'vector' with profiling

I just always set profiling to True in ~/.cabal/config and then call it a day :) I believe cabal or something has a notion of profiling ghc options that are only supplied when building profiling libs, but I don't remember precisely where they are or if they are a thing On Thursday, June 11, 2015, Ranjit Jhala <jhala@cs.ucsd.edu> wrote:

Thanks Carter and Reid! (I suspect I'd copied those options from somewhere a long time ago when they worked...) Things seem to be building now! Thanks a bunch!​