Re: PHP_ADD_LIBRARY
| From: | Sascha Schumann | Date: | Wed, 11 Dec 2002 08:15:35 +0000 |
| Subject: | Re: PHP_ADD_LIBRARY | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-92333@lists.php.net to get a copy of this message | ||
> added with PHP_ADD_LIBRARY and without further checks. Also some libraries
> are linked more than once.
That's not a problem.
> Should we change PHP_ADD_LIBRARY and PHP_ADD_LIBRARY_WITH_PATH
> to check whether the library was already added and whether at least the
> file exists?
No. It's _ADD_ library, not CHECK_FOR library.
- Sascha