removing a php5-pcre extension

[Zbigniew Szalbot]

Hello,

>>  One more thought - I commented out the pcre extension in the ini file
>>  and restarted apache after which everything seems to be working fine.
>>
>>  So I wonder if I am safe to delete it or if not, then how would you
>>  advise me to proceed to keep the system clean. Many thanks!
>
>        As I understand it:
>        a) the port works by installing a library
>        b) dependant ports search for the library, not the port
>        c) if the (exact same) library (as determined by version
> number) is installed by some other port, the change should be
> transparent and the dependant ports should and not try to (re)build
> anything.

Thank you Robert! It does help a lot. Time to do some cleaning then. :)

-- 
Zbigniew Szalbot
www.faitrade.net.pl
www.slowo.pl