1
2
3
4
5
6
7
8
9
10
11
12
| // $Id$
| // vim:ft=javascript
|
| // If your extension references something external, use ARG_WITH
| // ARG_WITH("pimple", "for pimple support", "no");
|
| // Otherwise, use ARG_ENABLE
| // ARG_ENABLE("pimple", "enable pimple support", "no");
|
| if (PHP_PIMPLE != "no") {
| EXTENSION("pimple", "pimple.c");
| }
|
|
