Re: [PHP-DEV] credits and credits_ext.h From: Andi Gutmans (andi <email protected>)
Date: 11/27/00

It makes more sense to put it into ./buildconf. This is where we also merge
the config.m4 files.

Andi

At 10:04 27/11/00 +0100, Hartmut Holzgraefe wrote:
>Stig Venaas wrote:
> >
> > Shouldn't the file ext/standard/credits_ext.h be removed from
> > CVS now that it's generated by the credits script? Or isn't
> > the script being used yet?
>
>Short answer: no
>
>the script is not interated into the make process yet, but even
>if it were:
>the tools needed to generate the files are not available on every
>system (spell: Windows), so we should keep the generated files in
>CVS just as we do with ext/standard/url_scanner_ex.c for those of
>us that do not have the 're' tool installed.
>
>
>
>i thought about generating the files during buildconf or configure as
>they shouldn't change to often, but have finally decided to use
>configure
>to fill a make rule that will work like
>
>credits_ext.h: $top_srcdir/ext/*/CREDITS
> $top_srcdir/scripts/credits $top_srcdir/ext
>
>credits_sapi.h: $top_srcdir/sapi/*/CREDITS
> $top_srcdir/scripts/credits $top_srcdir/sapi
>
>as make does not support wildcards in dependencies (or does it?) i will
>have to use a little configure magic to fill in the actual lists of
>credits files
>as i'll get the new book on autoconf tomorrow this will have to wait
>another day
>
>
>
>--
>Hartmut Holzgraefe hartmut <email protected> http://www.six.de +49-711-99091-77
>
>--
>PHP Development Mailing List <http://www.php.net/>
>To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
>For additional commands, e-mail: php-dev-help <email protected>
>To contact the list administrators, e-mail: php-list-admin <email protected> 

---
Andi Gutmans <andi <email protected>>
http://www.zend.com/

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>