Skip to content
Permalink
Browse files

Add workaround for pcre.jit bug

  • Loading branch information
muglug committed Nov 30, 2019
1 parent 0fa654e commit 952484c64d49bd74967998226ffa1b09810dbe12
Showing with 3 additions and 0 deletions.
  1. +1 −0 src/Psalm/Internal/Fork/Pool.php
  2. +1 −0 src/psalm-language-server.php
  3. +1 −0 src/psalm.php
@@ -116,6 +116,7 @@ public function __construct(
if (ini_get('pcre.jit') === '1'
&& \PHP_OS === 'Darwin'
&& version_compare(PHP_VERSION, '7.3.0') >= 0
&& version_compare(PHP_VERSION, '7.4.0') < 0
) {
die(
self::MAC_PCRE_MESSAGE . PHP_EOL
@@ -186,6 +186,7 @@ function ($arg) use ($valid_long_options, $valid_short_options) {
if (ini_get('pcre.jit') === '1'
&& PHP_OS === 'Darwin'
&& version_compare(PHP_VERSION, '7.3.0') >= 0
&& version_compare(PHP_VERSION, '7.4.0') < 0
) {
die(\Psalm\Internal\Fork\Pool::MAC_PCRE_MESSAGE . PHP_EOL . PHP_EOL);
}
@@ -283,6 +283,7 @@ function ($arg) {
&& ini_get('pcre.jit') === '1'
&& PHP_OS === 'Darwin'
&& version_compare(PHP_VERSION, '7.3.0') >= 0
&& version_compare(PHP_VERSION, '7.4.0') < 0
) {
echo(
'If you want to run Psalm as a language server, or run Psalm with' . PHP_EOL

0 comments on commit 952484c

Please sign in to comment.
You can’t perform that action at this time.