Ticket #19505: php5-rrdtool.diff
File php5-rrdtool.diff, 1.2 KB (added by ryandesign (Ryan Carsten Schmidt), 16 years ago) |
---|
-
Portfile
1 1 # $Id$ 2 2 3 3 PortSystem 1.0 4 PortGroup php5extension 1.0 4 5 5 name php5-rrdtool 6 version 1.0 7 revision 1 8 categories www net devel 6 php5extension.setup rrdtool 1.0 7 revision 2 8 categories-append www net devel 9 9 platforms darwin 10 10 maintainers markd 11 11 description PHP 5 glue for rrdtool … … 17 17 checksums md5 c86a45cfc54517b9066c480bbc589d43 18 18 distfiles php_rrdtool.tar.gz 19 19 20 depends_lib port:rrdtool port:php5port:re2c20 depends_lib-append port:rrdtool port:re2c 21 21 22 22 worksrcdir rrdtool 23 23 24 24 configure.cflags-append "-DHAVE_RRD_12X" 25 25 configure.args --with-rrdtool=${prefix} 26 27 pre-configure {28 system "cd ${worksrcpath} && phpize"29 }30 31 destroot.destdir INSTALL_ROOT=${destroot}32 33 post-install {34 ui_msg "\n35 To enable the rrdtool extension in php, modify the extension variables36 in ${prefix}/etc/php.ini as shown:37 38 Edit variable:39 40 extension_dir = \"${prefix}/lib/php/extensions/no-debug-non-zts-20060613\"41 42 Add an extension statement:43 44 extension = rrdtool.so45 \n"46 }