Re: PHP5 Phar
"Davide D'Amico" <[email protected]>
| Newsgroups | gmane.os.freebsd.italian.varie |
|---|---|
| Message-ID | <CAHykR+LAmC184hTR755RZfr+kWn7DzhUiHUvyJsmXAxFN902Wg@mail.gmail.com> |
Il 05 settembre 2011 18:37, Davide D'Amico <[email protected]> ha scritto: > Ciao a tutti, > stavo cercando di usare l'estensione phar che è inclusa in php5 ma con > mio sommo dispiacere noto che nei ports c'è solo la pear-phar, > versione 2.0rc2. > > Voi come avete risolto? Patch banali: root@hostname:/usr/ports# diff -ruh lang/php5.orig lang/php5 diff -ruh lang/php5.orig/Makefile.ext lang/php5/Makefile.ext --- lang/php5.orig/Makefile.ext 2011-09-06 14:46:17.000000000 +0200 +++ lang/php5/Makefile.ext 2011-09-06 14:44:58.000000000 +0200 @@ -27,6 +27,12 @@ CONFIGURE_ARGS+=--enable-calendar .endif +.if ${PHP_MODNAME} == "phar" +CPPFLAGS+="-I/usr/local/include" +CONFIGURE_ARGS+=--enable-phar \ + --with-pcre-dir=${LOCALBASE} +.endif + .if ${PHP_MODNAME} == "ctype" CONFIGURE_ARGS+=--enable-ctype .endif root@hostname:/usr/ports# more archivers/php5-phar/Makefile CATEGORIES= archivers MASTERDIR= ${.CURDIR}/../../lang/php5 PKGNAMESUFFIX= -phar .include "${MASTERDIR}/Makefile" root@hostname:/usr/ports# -- d. _______________________________________________ Varie mailing list [email protected] http://mailman.gufi.org/mailman/listinfo/varie