now flexing

Author: meisterT

.github/jobs/baseinstall.sh

@@ -33,7 +33,7 @@ sudo apt install -y acl zip unzip nginx composer php php-fpm php-gd \
                     php-zip procps gcc g++ default-jre-headless \
                     default-jdk-headless ghc fp-compiler autoconf automake bats \
                     python3-sphinx python3-sphinx-rtd-theme rst2pdf fontconfig \
-                    python3-yaml latexmk curl flexc++ bison++ bisonc++
+                    python3-yaml latexmk curl flex-old flexc++ bison++ bisonc++
 section_end
 
 PHPVERSION=$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION."\n";')

gitlab/base.sh

@@ -3,7 +3,7 @@
 . gitlab/ci_settings.sh
 
 sudo apt update
-sudo apt install -y flexc++ bison++ bisonc++
+sudo apt install -y flex-old flexc++ bison++ bisonc++
 
 # If this script is called from unit.sh, we use the test environment
 export APP_ENV="${1:-prod}"