diff options
author | Remi Collet <fedora@famillecollet.com> | 2016-07-30 19:15:07 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2016-07-30 19:15:07 +0200 |
commit | 8b6e70a12d34db25d68c5ccc7a81450e133094c7 (patch) | |
tree | 86bd313084e9bed04fea2c5b268ac2547ff9dd11 /zephir-rpm.patch |
zephir-parser: 0.9.3 (new package for phalcon)
Diffstat (limited to 'zephir-rpm.patch')
-rw-r--r-- | zephir-rpm.patch | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/zephir-rpm.patch b/zephir-rpm.patch new file mode 100644 index 0000000..dc497e4 --- /dev/null +++ b/zephir-rpm.patch @@ -0,0 +1,34 @@ +diff -up bin/zephir.rpm bin/zephir +--- bin/zephir.rpm 2016-07-30 18:49:46.000000000 +0200 ++++ bin/zephir 2016-07-30 18:52:16.000000000 +0200 +@@ -1,27 +1,9 @@ + #!/bin/bash +-if [ -z "$ZEPHIRDIR" ]; then +- ZEPHIRDIR="%ZEPHIRDIR%" +- if [[ "$ZEPHIRDIR" == "%""ZEPHIRDIR""%" ]]; then +- if [ -h $0 ]; then +- REALPATH="`dirname $0`/`readlink $0`" +- CURDIR=`dirname $REALPATH` +- else +- CURDIR=`dirname $0` +- fi +- PARENTDIR=`cd $CURDIR/..; pwd` +- +- if [ -f $PARENTDIR/compiler.php ]; then +- export ZEPHIRDIR=$PARENTDIR +- else +- echo "Environment variable ZEPHIRDIR is not set" +- exit 1 +- fi +- fi +-fi ++export ZEPHIRDIR="@DATADIR@/zephir" + + if [[ $1 && $2 && $3 && "$1"=="-c" ]]; then +- php -d safe_mode=Off -d enable_dl=On -c $2 $ZEPHIRDIR/compiler.php ${*:3} ++ @BINDIR@/php -d extension=zephir_parser.so -c $2 $ZEPHIRDIR/compiler.php ${*:3} + else +- php -d safe_mode=Off -d enable_dl=On $ZEPHIRDIR/compiler.php $* ++ @BINDIR@/php -d extension=zephir_parser.so $ZEPHIRDIR/compiler.php $* + fi + |