I just always set profiling to True in ~/.cabal/config and then call it a day :)<div><br></div><div>I believe cabal or something has a notion of profiling ghc options that are only supplied when building profiling libs, but I don&#39;t remember precisely where they are or if they are a thing <span></span><br><br>On Thursday, June 11, 2015, Ranjit Jhala &lt;<a href="mailto:jhala@cs.ucsd.edu">jhala@cs.ucsd.edu</a>&gt; wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:courier new,monospace">Thanks Carter and Reid! (I suspect I&#39;d copied those options from somewhere a long time ago when they worked...) Things seem to be building now! Thanks a bunch!<span style="font-family:arial,sans-serif">​</span></div></div>
</blockquote></div>