diff options
Diffstat (limited to 'main/php-phalcon/10.cphalcon.patch')
| -rw-r--r-- | main/php-phalcon/10.cphalcon.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/main/php-phalcon/10.cphalcon.patch b/main/php-phalcon/10.cphalcon.patch new file mode 100644 index 0000000000..f928bc70e4 --- /dev/null +++ b/main/php-phalcon/10.cphalcon.patch @@ -0,0 +1,13 @@ +diff --git a/build/install b/build/install +index a0bc399..514bce7 100755 +--- a/build/install ++++ b/build/install +@@ -61,4 +61,7 @@ if [ -f Makefile ]; then + fi + + #Perform the compilation +-phpize && ./configure --enable-phalcon && make && make install && echo -e "\nThanks for compiling Phalcon!\nBuild succeed: Please restart your web server to complete the installation" ++# phpize && ./configure --enable-phalcon && make && make install && echo -e "\nThanks for compiling Phalcon!\nBuild succeed: Please restart your web server to complete the installation" ++export PHALCONARCH="$DIR" ++phpize && ./configure --enable-phalcon && make ++ |