diff options
Diffstat (limited to 'bindings/php5')
| -rw-r--r-- | bindings/php5/Makefile.am | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bindings/php5/Makefile.am b/bindings/php5/Makefile.am index 17c5278c..94b22ee5 100644 --- a/bindings/php5/Makefile.am +++ b/bindings/php5/Makefile.am @@ -15,8 +15,12 @@ nodist_lasso_la_SOURCES = _lasso.c BUILT_SOURCES = _lasso.c -lasso.php _lasso.c: - $(PYTHON) $(top_srcdir)/bindings/bindings.py -l php5 --src-dir=$(top_srcdir)/lasso/ +if WSF_ENABLED +EXTRA_ARGS = --enable-id-wsf +endif + +lasso.php _lasso.c: ../lang_php5.py ../lang_php5_helpers/php_code.py + $(PYTHON) $(top_srcdir)/bindings/bindings.py -l php5 --src-dir=$(top_srcdir)/lasso/ $(EXTRA_ARGS) doc: phpdoc -o HTML:frames:earthli -f lasso.php -t docs |