From a17e2375b335b2e9c106939351cd457a7f827c6c Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 2 Jan 2021 21:42:41 -0500 Subject: [PATCH] CI: Need flexlexer for internal coverage testrun --- ci/ci-install.bash | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/ci/ci-install.bash b/ci/ci-install.bash index 7e0e4a398..ff0719f4e 100755 --- a/ci/ci-install.bash +++ b/ci/ci-install.bash @@ -48,9 +48,7 @@ if [ "$CI_BUILD_STAGE_NAME" = "build" ]; then if [ "$CI_OS_NAME" = "linux" ]; then sudo apt-get update - sudo apt-get install libfl-dev - sudo apt-get install libgoogle-perftools-dev - sudo apt-get install ccache + sudo apt-get install libfl-dev libgoogle-perftools-dev ccache if [ "$CI_RUNS_ON" = "ubuntu-20.04" ]; then sudo apt-get install libsystemc libsystemc-dev fi @@ -79,7 +77,8 @@ elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then if [ "$CI_OS_NAME" = "linux" ]; then sudo apt-get update - sudo apt-get install gdb gtkwave lcov + # libfl-dev needed for internal coverage's test runs + sudo apt-get install gdb gtkwave lcov libfl-dev ccache if [ "$CI_RUNS_ON" = "ubuntu-20.04" ]; then sudo apt-get install libsystemc-dev fi