removing a php5-pcre extension

[Robert Huff]

Zbigniew Szalbot writes:

>  >> Am I safe just deleting it? Or do I have to rebuild all the
>  >> above listed ports? 
>  >> Leaving it as is is probably not a good idea...
>  >
>  > Presumably, if you delete it, the listed packages will stop working.
>  
>  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.


				Robert Huff