Re: coqide (port coq) says: Xlib: extension "RANDR" missing on display ":0.0".

: Dimitri Hendriks wrote: Hi Ryan, You should now have pango 1.24.1, yes? No, I have 1.24.0. If "sudo port upgrade pango" is not the right way to upgrade, then what is? Probably you need to selfupdate first. - Josh ___ macports-users ma

Re: coqide (port coq) says: Xlib: extension "RANDR" missing on display ":0.0".

Hi Ryan, You should now have pango 1.24.1, yes? No, I have 1.24.0. If "sudo port upgrade pango" is not the right way to upgrade, then what is? Thanks again, Dimitri ___ macports-users mailing list macports-users@lists.macosforge.org http://lists.mac

Re: coqide (port coq) says: Xlib: extension "RANDR" missing on display ":0.0".

attribute call rather than RandR to obtain the information required. That's not how it works. We need to translate the native notifications that the X server receives into RandR notifications. Similarly, we need to translate the RandR commands into API calls to change the resolution.

coqide (port coq) says: Xlib: extension "RANDR" missing on display ":0.0".

Hi Thanks to Ryan Schmidt I managed to install port labgtk2, and then port coq. This all went fine, at least so it seemed. However, if I try to run coqide, I get the message: Xlib: extension "RANDR" missing on display ":0.0". followed by multiple copies of this line: (coqide:23495): Pango-WAR

Re: fails to build dbus

t wrote: On Apr 12, 2009, at 16:27, Dimitri Hendriks wrote: I just installed macports, and wanted to install port lablgtk2. All went well (it takes hours though) until: ---> Fetching dbus ---> Attempting to fetch dbus-1.2.12.tar.gz from http:// trd.no.distfiles.macports.org/dbus ---&

fails to build dbus

Hi, I just installed macports, and wanted to install port lablgtk2. All went well (it takes hours though) until: ---> Fetching dbus ---> Attempting to fetch dbus-1.2.12.tar.gz from http:// trd.no.distfiles.macports.org/dbus ---> Verifying checksum(s) for dbus ---> Extracting dbus ---> Appl

Re: coq build fails

rebuilding camlp5: > > $ sudo port -ncuf upgrade camlp5 > $ > > I see you're on Mac OS X 10.4.x on a PowerPC Mac. What version of > Xcode and MacPorts do you have? If you have Xcode earlier than > 2.4.1, please update to 2.4.1 or 2.5. > > Let us know what happens. &

Re: coq build fails

would apply. Any assistence is greatly appreciated, Dimitri On 15 May 2008, at 22:45, Dimitri Hendriks wrote: > Thanks for your reply! > > Sorry for my ignorance, but what do I have to do with this file > coq.diff ? > > Thanks, > Dimitri > > On 11 May 2008, at 03:4

Re: coq build fails

, 2008, at 5:41 AM, Dimitri Hendriks wrote: > >> Dear all, >> >> I tried to build the port coq, but it fails, see output below. >> Any ideas? >> >> Thanks, Dimitri >> >> [EMAIL PROTECTED]:~<502> sudo port install coq >> Password

coq build fails

Dear all, I tried to build the port coq, but it fails, see output below. Any ideas? Thanks, Dimitri [EMAIL PROTECTED]:~<502> sudo port install coq Password: ---> Fetching camlp5 ---> Attempting to fetch camlp5-5.08.tgz from http:// pauillac.inria.fr/~ddr/camlp5/distrib/src/ ---> Verifying

gnutar missing

d; how to figure that out? ( spotlight found: /Volumes/Xcode\ Tools/Packages/Packages/X11SDK.pkg ) Help very much appreciated! Dimitri Hendriks ___ macports-users mailing list macports-users@lists.macosforge.org http://lists.macosforge.org/mailman/listinfo/macports-users

xfig fails to build

I just reinstalled macports, from the Tiger disk image. This seemed to work fine. However, the first port I want to install fails, see bleow (sorry, mac mail seems not to preserve line breaks). Anyone a clue? [EMAIL PROTECTED]:~<503> sudo port install xfig---> Fetching Xaw3d---> Attempting to

selfupdate fails

Hi, I try to selfupdate macports on system 10.4.11, but it fails; see error message below. Does anyone know how to solve this? Thanks in advance, Dimitri [EMAIL PROTECTED]:~<513> sudo port selfupdate -dMacPorts base version 1.520 installed Downloaded MacPorts base version 1.600 Configuring,

Re: failed to build ports ocaml, xfig

Stefan and Ryan, Thanks a lot for your help! I finally have what I wanted: ocaml 3.08 to build coq and a working xfig. A request for the maintainer of the coq port: can you add coqide? Best, Dimitri On 24 Jul 2007, at 14:07, Stefan Bruda wrote: Hi, Dimitri Hendriks wrote: Thanks a lot

Re: failed to build ports ocaml, xfig

related post: http://lists.macosforge.org/pipermail/macports-users/2007-April/ 002745.html but again I don't know what to do to "find the source of the old portfile" in the repository browser. Thanks, Dimitri On 24 Jul 2007, at 00:01, Ryan Schmidt wrote: On Jul 23, 2007, at 08:59,

Re: failed to build ports ocaml, xfig

Hi Stefan, Thanks a lot for you help so far. Unfortunately, the commands you give seem not work for me. Possibly, I have overlooked something. First, a question: if I do sudo port -v extract xfig I get no message or whatsoever, just a new prompt; is that OK? Then, I try: cd `port dir xfi

Re: failed to build ports ocaml, xfig

On 29 Jun 2007, at 01:54, Ryan Schmidt wrote: On Jun 27, 2007, at 06:33, Dimitri Hendriks wrote: [...] I also tried to install port xfig, but again without succes: $ sudo port install xfig Password: ---> Fetching Xaw3d ---> Attempting to fetch Xaw3d-1.5E.tar.gz from ftp:// ftp.vi

Re: failed to build ports ocaml, xfig

Hi, How do I install an older version of a port? I want to have ocaml version 3.08, see below why. Thanks in advance, Dimitri On 28 Jun 2007, at 10:26, Emmanuel Hainry wrote: ocaml has built fine, but coq has not: with the release of ocaml3.10, lots of things have changed, particularly in cam

failed to build ports ocaml, xfig

script jpeg libpng zlib transfig netpbm jasper tiff Error: Status 1 encountered during processing. -- Does anyone know what is wrong? More info: Dual 2 GHz PPC G5 OS X 10.4.10 XCode 2.4.1. Thanks for your help, Dimitri Hendriks ___ macports-users mailing list macports-users@lists.macosforge.org http://lists.macosforge.org/mailman/listinfo/macports-users

Re: swi-prolog

The script was designed to run with bash; I don't know if anyone tested it with zsh. Does running it with bash make it work properly? I'm not sure. No error messages. But it doesn't list any ports. But if I do grep libintl /opt/local/lib/*.dylib there are many matches. ___

Re: swi-prolog

Thanks for your help and explanation. It works! One remark about the depsearch.sh: I had to enclose the find pattern between quotes in order to avoid expansion of * by my shell (zsh): find /opt/local/lib -name '*.dylib' However, depsearch.sh still didn't show me anything. A possible reason t

Re: swi-prolog

.Aportfailedtobuildupgradeorrunwithamessagereferringt olbintl.3.dylib (A port failed to build, upgrade, or run with a message referring to lbintl.3.dylib) On 7 Feb 2007, at 06:23, Dimitri Hendriks wrote: Hi, I want to install the swi-prolog package, but I get the error below. I use OS X 10.4.8. My macports instakllation is up to

swi-prolog

Hi, I want to install the swi-prolog package, but I get the error below. I use OS X 10.4.8. My macports instakllation is up to date. Can someone please help me out? Thanks, Dimitri $ sudo port install swi-prolog Portfile changed since last build; discarding previous state. ---> Fetching swi-