Steph Fox:
> Hi Wietse,
>
> > This is a bug in PHP Makefiles. You can use the depend.php script
> > that ships with my taint-for-PHP code. http://wiki.php.net/rfc/taint.
> >
> > To apply (on *n*x systems):
>
> That's not very helpful for Richard's Windows-specific query :)
Excuse me for trying
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 (Richa
Hi Wietse,
This is a bug in PHP Makefiles. You can use the depend.php script
that ships with my taint-for-PHP code. http://wiki.php.net/rfc/taint.
To apply (on *n*x systems):
That's not very helpful for Richard's Windows-specific query :)
- Steph
--
PHP Internals - PHP Runtime Development
Hi!
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...
--
Stanislav Malyshev, Zend Software Architect
[EMAIL PROT
Richard Quadling:
> Hi.
>
> I'm new to compiling PHP on windows, so this may be a real newbie question.
>
> My expectation of make-like tools is that they describe the how to
> create targets from sources (in a nutshell).
>
> So, just for example, TSRM/readdir.h. I would expect that if I altered
Hi Richard,
What is happening is that the makefile has no knowledge of this header
file, so it can't be used to make anything.
Is this expected behaviour? Please don't focus on just TSRM/readdir.h
as this was one file I picked at random (as I had edited it recently).
Yes that's expected behav
Hi.
I'm new to compiling PHP on windows, so this may be a real newbie question.
My expectation of make-like tools is that they describe the how to
create targets from sources (in a nutshell).
So, just for example, TSRM/readdir.h. I would expect that if I altered
this file and then ran my make pr