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
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:
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
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
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
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://
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
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
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
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
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
11 matches
Mail list logo