Hi Stas,
Should editing ANY source level file (.h, .c type files) result in a
make?
Theoretically, it should. But it's as good as makefile dependencies, of
course. I'm not sure PHP configure script generates dependencies for all
files...
I spent some time looking into this yesterday (Richard and I had one of
those off-list exchanges). Not sure if *nix compilers work in the same way,
but under Windows nmake treats any headers included in source files as
"implicit prerequisites". Only explicit header declarations are compiled in
their own right.
I'd *assume* that this is what knocked almost 15 minutes off the build time
when moving from our .dsp files (which had explicit header declarations) to
the config.w32 setup.
Keeping in mind that headers are far less likely to be altered than C files
once an API is stable, there doesn't seem much point in making the build
slower or the task of writing config.w32 files more complex just so's those
undertaking active development won't need to make clean and re-run configure
now and again.
- Steph
--
Stanislav Malyshev, Zend Software Architect
[EMAIL PROTECTED] http://www.zend.com/
(408)253-8829 MSN: [EMAIL PROTECTED]
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
