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