<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div>Dear Karl, </div><div><br class=""><blockquote type="cite" class=""><div class="">On Apr 27, 2018, at 5:42 PM, Karl Berry <<a href="mailto:karl@freefriends.org" class="">karl@freefriends.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Hi Bryce,<br class=""><br class="">    disable-all-pigs<br class=""><br class="">I suppose you mean --disable-all-pkgs. There are no pig-related options that I know of :).<br class=""></div></div></blockquote><div><blockquote type="cite" class=""><br class=""></blockquote><blockquote type="cite" class="">⋮</blockquote></div><div><br class=""></div><div>     Whoops, guess I wasn’t keeping enough an eye out for autocorrect, the scurvy cur…  </div><div><br class=""></div><blockquote type="cite" class="">⋮</blockquote><blockquote type="cite" class=""><div class=""><div class=""><br class="">    cd texk/texlive/tl_scripts && make  run-texlinks<br class="">    /bin/sh: line 0: cd: texk/texlive/tl_scripts: No such file or directory<br class=""><br class="">--disable-all-packages includes —disable-texlive, meaning those TL scripts. So that directory (texk/texlive/tl_scripts in the build dir) will not exist in that case, it seems to me.<br class=""><br class=""></div></div></blockquote><div><blockquote type="cite" class="">⋮</blockquote></div><div><br class=""></div><div>     Ah, maybe I passed ‘<font face="Menlo" class="">--enable-texlive</font>’ during the run that worked!  That would explain things.  </div><div><br class=""></div><blockquote type="cite" class="">⋮</blockquote><blockquote type="cite" class=""><div class=""><div class="">So I think the answer is not to run make world, since its purpose is mostly to run that texlinks. Instead, make install-strip, meaning add TL_TARGET=install-strip to your envvers. Or maybe TL_TARGET=“install-strip check". Or don’t use Build and just run your own configure && make; that's all Build really is.<br class=""><br class="">Hope this guess isn't totally wrong ... --best, karl.<br class=""></div></div></blockquote></div><br class=""><div class="">     OK, thanks; I’ll give your suggestions a shot (if <i class="">my</i> idea doesn’t work, at least.)  </div><br class=""><div class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">Much obliged, </div><div class="">     Bryce Glover</div><div class="">     <a href="mailto:RandomDSdevel@gmail.com" class="">RandomDSdevel@gmail.com</a></div></div></div></div></div></body></html>