Look at config.safe, it's your last configure.
You can re-run configure with
./config.safe --with-new-option=/path/to/new/option
--next-new-option=what-ever-I-want-now
I'd do a make clean, and rm config.cache first just to start from scratch without any
old baggage lying around.
./configure --
If you installed PHP 4 using the ports system, then you can go to the port's
directory (like /usr/ports/www/mod_php4) and edit the Makefile. In the
middle of the Makefile should be a listing of all extra --with... options.
You can probably take it from there.
- Jonathan
-Original Message
