source: libpipi/trunk/pipi-php/config.m4 @ 3069

Last change on this file since 3069 was 3069, checked in by nico, 12 years ago

Initial release of pipi-php

File size: 441 bytes
Line 
1PHP_ARG_ENABLE(pipi, whether to enable Libpipi support,
2[ --enable-pipi   Enable Libpipi support])
3
4if test "$PHP_PIPI" = "yes"; then
5  PHP_NEW_EXTENSION(pipi, php_pipi.c, $ext_shared)
6  PHP_SUBST(PIPI_SHARED_LIBADD)
7  AC_DEFINE(HAVE_PIPI, 1, [Whether you have Libpipi Ext])
8  PIPI_INCDIR=$PHP_PIPI/include
9  PIPI_LIBDIR=$PHP_PIPI/lib
10  PHP_ADD_LIBRARY_WITH_PATH(pipi, $PIPI_LIBDIR, PIPI_SHARED_LIBADD)
11  PHP_ADD_INCLUDE($PIPI_INCDIR) 
12fi
13
Note: See TracBrowser for help on using the repository browser.