We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Not really an issue, but to get it working with the default configuration, right now, you need disable pcre.jit for the cli.php & compiler:
ini_set("pcre.jit", "0");
works as intended afterwards.
The text was updated successfully, but these errors were encountered:
Disable PCRE JIT compilation
8844f0b
This fixes generation when using PHP7. Without this, no output is generated at all (for certain input files). Resolves hafriedlander#35.
Successfully merging a pull request may close this issue.
Not really an issue, but to get it working with the default configuration, right now, you need disable pcre.jit for the cli.php & compiler:
ini_set("pcre.jit", "0");
works as intended afterwards.
The text was updated successfully, but these errors were encountered: