Re: failed to build ports ocaml, xfig

2007-07-24 Thread Dimitri Hendriks
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

Re: failed to build ports ocaml, xfig

2007-07-24 Thread Dimitri Hendriks
Hi Ryan, See this previous post: http://lists.macosforge.org/pipermail/macports-users/2007-July/ 004452.html Sorry, I'm a newbie and I don't know how to look up macports changeset ocaml 3.09 corresponds to at the url given in this post. I also found another related post:

Re: failed to build ports ocaml, xfig

2007-07-24 Thread Stefan Bruda
Hi, Dimitri Hendriks wrote: Thanks a lot for you help so far. Unfortunately, the commands you give seem not work for me. Possibly, I have overlooked something. It's me who I overlooked two things actually. The first one is that all the commands I mentioned shoudl be given as root. So you

Re: failed to build ports ocaml, xfig

2007-07-24 Thread Dimitri Hendriks
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

2007-07-23 Thread Dimitri Hendriks
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

Re: failed to build ports ocaml, xfig

2007-07-23 Thread Dimitri Hendriks
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://

Re: failed to build ports ocaml, xfig

2007-07-23 Thread Ryan Schmidt
On Jul 23, 2007, at 09:46, Dimitri Hendriks wrote: 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

Re: failed to build ports ocaml, xfig

2007-07-23 Thread Stefan Bruda
Ryan Schmidt wrote: I tried this and xfig then installs fine, but I now get the same problem as reported earlier: http://lists.macosforge.org/pipermail/macports-users/2007-April/ 002746.html and: http://lists.macosforge.org/pipermail/macports-users/2007-June/ 003917.html In the same

Xaw3d 1.5E_1 (was Re: failed to build ports ocaml, xfig)

2007-07-23 Thread Derek Harland
From: Stefan Bruda [EMAIL PROTECTED] Subject: Re: failed to build ports ocaml, xfig BY the way, did anybody notice that upgrading Xaw3d to 1.5E_1 breaks quite badly other things such as xemacs and gv? Any suggestions on what could be done about this one? Yes I noticed ... the solution

Re: failed to build ports ocaml, xfig

2007-06-28 Thread Emmanuel Hainry
Citando Dimitri Hendriks : Dear all, I just installed Macports, version 1.442. The first port I want to install, fails to build. ocaml has built fine, but coq has not: with the release of ocaml3.10, lots of things have changed, particularly in camlp4 (which is the culprit here) and most

failed to build ports ocaml, xfig

2007-06-27 Thread Dimitri Hendriks
Dear all, I just installed Macports, version 1.442. The first port I want to install, fails to build. Here's the output: $ sudo port install coq --- Fetching ocaml --- Attempting to fetch ocaml-3.10.0.tar.bz2 from http:// caml.inria.fr/pub/distrib/ocaml-3.10/ --- Verifying checksum(s) for