Try different approach

This commit is contained in:
Daniil Gentili 2019-06-18 18:13:24 +02:00
parent dba734eaba
commit 6a6eacc722
2 changed files with 3 additions and 3 deletions

View File

@ -8,7 +8,7 @@ php:
addons: addons:
apt: apt:
packages: packages:
- libzip-dev - php7.3
before_install: before_install:
- echo "phar.readonly = 0" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini - echo "phar.readonly = 0" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini

View File

@ -63,9 +63,9 @@ cd ..
#cmake -DCMAKE_INSTALL_PREFIX=$HOME/.phpenv/versions/7.3.6 . #cmake -DCMAKE_INSTALL_PREFIX=$HOME/.phpenv/versions/7.3.6 .
#make -j11 #make -j11
#make install #make install
phpenv install 7.3.6 #phpenv install 7.3.6
~/.phpenv/versions/7.3.6/bin/php $php7to5 convert --copy-all phar7 phar5 >/dev/null php7.3 $php7to5 convert --copy-all phar7 phar5 >/dev/null
sed 's/^Loop::set.*;//g' -i phar5/vendor/amphp/amp/lib/Loop.php sed 's/^Loop::set.*;//g' -i phar5/vendor/amphp/amp/lib/Loop.php
echo 'Loop::set((new DriverFactory())->create());' >> phar5/vendor/amphp/amp/lib/Loop.php echo 'Loop::set((new DriverFactory())->create());' >> phar5/vendor/amphp/amp/lib/Loop.php