We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a16d6d9 commit 65e32e4Copy full SHA for 65e32e4
.github/jobs/baseinstall.sh
@@ -33,7 +33,7 @@ sudo apt install -y acl zip unzip nginx composer php php-fpm php-gd \
33
php-zip procps gcc g++ default-jre-headless \
34
default-jdk-headless ghc fp-compiler autoconf automake bats \
35
python3-sphinx python3-sphinx-rtd-theme rst2pdf fontconfig \
36
- python3-yaml latexmk curl
+ python3-yaml latexmk curl flexc++ bison++ bisonc++
37
section_end
38
39
PHPVERSION=$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION."\n";')
0 commit comments