failed to build ports ocaml, xfig

[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 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
>
>
>