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 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 are
correct in
putting the sudos in front.
First, a question: if I do
sudo port -v extract xfig
I get no message or whatsoever, just a new prompt; is that OK?
That's probably the second thing I forgot to mention, you need to
uninstall and clean the xfig first, and thisis probably the reason
that
the above command does nothing. So try a
sudo port uninstall xfig
sudo port clean xfig
I hope it works now.
Stefan
_______________________________________________
macports-users mailing list
[email protected]
http://lists.macosforge.org/mailman/listinfo/macports-users
