<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="">I’m installing the non-MacPorts application coq “platform”, which uses various MacPorts ports and installs those not already installed through the usual MacPorts process.<div class=""><br class=""></div><div class="">One of those it needs to install is gtk3, but that installation aborts because it "failed to configure gtk3: gdk-pixbuf2 must be installed without +x11.”</div><div class=""><br class=""></div><div class="">The trouble is that I already have gdk-pixbuf2 +x11 installed, which is uses for inkscape (and several packages on which inkscape depends).</div><div class=""><br class=""></div><div class="">I know that inkscape can be installed with +quartz variant instead of +x11, but I think that will lead to a rabbit-hole of problems for other packages that depend on gdk-pixbuf2 and on which ImageMagick+x11 in turn depends.</div><div class="">(In turn, pstoedit depends on ImageMagick, and octave depends on pstoedit; specifically, I have octave @6.2.0_1+accelerate+app+docs+gfortran+graphicsmagick+qt5+sound+sundials).</div><div class=""><br class=""></div><div class="">How might it be possible to proceed ?</div><div class=""><br class=""><div class=""><div class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">---<br class="">Murray Eisenberg<span class="Apple-tab-span" style="white-space: pre;"> </span><a href="mailto:murrayeisenberg@gmail.com" class="">murrayeisenberg@gmail.com</a><br class="">503 King Farm Blvd #101<span class="Apple-tab-span" style="white-space: pre;"> </span><br class="">Rockville, MD 20850-6667<span class="Apple-tab-span" style="white-space: pre;"> </span>Mobile (413)-427-5334<br class=""><br class=""></div>
</div>
<br class=""></div></div></body></html>