<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><blockquote type="cite" class=""><div class="">Am 15.08.2020 um 09:47 schrieb Eric F (iEFdev) <<a href="mailto:eric@iefdev.se" class="">eric@iefdev.se</a>>:</div><br class="Apple-interchange-newline"><div class=""><span style="caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none; display: inline !important; float: none;" class="">Doesn't the port `ghc` do exactly this?<span class="Apple-converted-space"> </span></span><a class="moz-txt-link-freetext" href="https://github.com/macports/macports-ports/blob/master/lang/ghc/Portfile#L31-L33" style="font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);">https://github.com/macports/macports-ports/blob/master/lang/ghc/Portfile#L31-L33</a><br style="caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none;" class=""></div></blockquote><div><br class=""></div>Yes, looks like it does. Three more seem to work that way, too, `mate-icons` even in reverse mode:</div><div><br class=""></div><div><div>`port echo variant:rebuild variant:prebuilt</div><div>mate-icons</div><div>cabal</div><div>ghc</div><div>stack`</div></div><div><br class=""></div><div><blockquote type="cite" class=""><div class=""><blockquote cite="mid:1A61351B-76B1-4E09-B36B-1042A81E715A@gmx.net" type="cite" style="font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none;" class=""></blockquote><span style="caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none; display: inline !important; float: none;" class="">The variant name is: +prebuilt</span><br style="caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none;" class=""></div></blockquote><div><br class=""></div>I like that name for its conciseness, lack of an underscore and correct tense. :-)</div><div><br class=""><blockquote type="cite" class=""><div class=""><span style="caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none; display: inline !important; float: none;" class="">Besides that… Haven't followed this discussion very closely, but I think I'm more into what</span><br style="caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none;" class=""><span style="caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration: none; display: inline !important; float: none;" class="">[I think] someone said earlier - that MP should try to build everything, or try to fix it so it can.</span></div></blockquote></div><br class=""><div class="">Yes, I think we all agree on that. This thread is about those cases where it's not feasible to build from source, yet providing the port is desirable.</div></body></html>