<div dir="ltr"><div class="gmail_default" style="font-family:'courier new',monospace">Hi Carter,</div><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style="font-family:'courier new',monospace">Are you referring to the '<span style="font-size:13px">--disable-shared' flag?</span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px"><br></span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px">If so -- I added it because otherwise I got a bunch </span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px">of errors about:</span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px"><br></span></div><span style="font-family:'courier new',monospace;font-size:13px"> Perhaps you haven't installed the "p_dyn" </span><div><span style="font-family:'courier new',monospace;font-size:13px"><div class="gmail_default" style="font-family:'courier new',monospace;display:inline"> </div>libraries for package ‛integer-gmp’</span><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px"><br></span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px">Or were you referring to some other flag?</span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px"><br></span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px">Thanks!</span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px"><br></span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px">Ranjit.</span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px"><br></span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="font-size:13px"><br></span></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jun 10, 2015 at 9:41 PM, Carter Schonwald <span dir="ltr"><<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">why were you trying to build profiling dylibs? i thought we only support static linked profiling libs? (i could be wrong though)</div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jun 10, 2015 at 9:26 AM, Ranjit Jhala <span dir="ltr"><<a href="mailto:jhala@cs.ucsd.edu" target="_blank">jhala@cs.ucsd.edu</a>></span> 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">ah, my bad I thought I'd included that -- this is ghc 7.8.3, on MacOS, installed from <a href="https://ghcformacosx.github.io" target="_blank">https://ghcformacosx.github.io</a> ... </div><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style="font-family:'courier new',monospace">Should I just move to 7.10?</div></div><div class="gmail_extra"><div><div><br><div class="gmail_quote">On Wed, Jun 10, 2015 at 4:59 AM, Carter Schonwald <span dir="ltr"><<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">What ghc version and how was it built?<div><div><span></span><br><br>On Wednesday, June 10, 2015, Ranjit Jhala <<a href="mailto:jhala@cs.ucsd.edu" target="_blank">jhala@cs.ucsd.edu</a>> 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">Hi all,</div><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style="font-family:'courier new',monospace">I cannot build 'vector' (or 'cmdargs') with profiling on. </div><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style="font-family:'courier new',monospace">specifically when I run:</div><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style="font-family:'courier new',monospace"> $ cabal install --enable-executable-profiling --enable-library-profiling --ghc-options="-O2 -rtsopts -prof -auto-all -caf-all" vector<br></div><div class="gmail_default" style="font-family:'courier new',monospace"><div class="gmail_default"><br></div><div class="gmail_default"><br></div><div class="gmail_default">I get the message:</div><div class="gmail_default"><br></div><div class="gmail_default"><div class="gmail_default"> Perhaps you haven't installed the "p_dyn" libraries for package ‛integer-gmp’</div><div><br></div></div><div class="gmail_default"> <a href="https://ghc.haskell.org/trac/ghc/ticket/8677" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/8677</a><br></div><div class="gmail_default"><br></div><div class="gmail_default">Per some advice I tried to add the '--disable-shared' </div><div class="gmail_default"><br></div><div class="gmail_default"><br></div><div class="gmail_default"> $ cabal install --disable-shared --enable-executable-profiling --enable-library-profiling --ghc-options="-O2 -rtsopts -prof -auto-all -caf-all" vector<br></div><div class="gmail_default"><br></div><div class="gmail_default"><div class="gmail_default">but then I get this:</div><div><br></div></div><div class="gmail_default"> Loading package primitive-0.6 ... <command line>: can't load .so/.DLL for: libHSprimitive-0.6.dylib (dlopen(libHSprimitive-0.6.dylib, 9): image not found)</div><div class="gmail_default"><br></div><div class="gmail_default"><br></div><div class="gmail_default">Any idea whats going on or for any work arounds? Pretty stumped! Thanks in advance!</div><div class="gmail_default"><br></div></div><div><div dir="ltr"><div><span style="font-family:'courier new',monospace">Ranjit.</span><br></div></div></div>
</div>
</blockquote>
</div></div></blockquote></div><br><br clear="all"><div><br></div></div></div><span><font color="#888888">-- <br><div><div dir="ltr"><div><span style="font-family:'courier new',monospace">Ranjit.</span><br></div></div></div>
</font></span></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><span style="font-family:'courier new',monospace">Ranjit.</span><br></div></div></div>
</div>