<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div>This should just work building ghc from source. Did it? Does it install the pdf GHC User Guide?</div><div><br class=""></div><div>This is an outstanding ticket issue, so we’d like to wrap this up with a fix.</div><div><br class=""></div><div>It’s not clear to me if the ghc build wasn’t working your you (bad), or a one-time LaTeX compilation wasn’t working (much less bad).</div><div><br class=""></div><div><a href="https://trac.macports.org/ticket/59018" class="">https://trac.macports.org/ticket/59018</a></div><div><br class=""></div><div><br class=""><blockquote type="cite" class=""><div class=""><meta http-equiv="content-type" content="text/html; charset=utf-8" class=""><div dir="auto" class=""><pre class=""><blockquote type="cite" class=""><font face="UICTFontTextStyleTallBody" class=""><span style="white-space: normal; background-color: rgba(255, 255, 255, 0);" class="">This issue is supposed to be fixed in these lines:</span></font></blockquote><br class=""></pre><pre class="">Those lines did fix it, thank you. I was working on something parallel and ran into the DejaVu font issue. I thought my latex configuration was wrong in some way. Then I saw the workaround you put into the portfile. Changing the fontspec did work.</pre><pre class="">Googling this same error shows it comes up in other software sometimes.</pre><pre class=""><br class=""></pre><pre class="">Is it a Mac thing? Why do we need to do this change, but the rest of the planet does not? Rather than fix ports, I wonder if we're supposed to fix our fonts...</pre></div></div></blockquote></div><br class=""></body></html>