From c6c3f4660f8bcafca90c4acfd67f0473366c1259 Mon Sep 17 00:00:00 2001 From: Xiao Date: Mon, 27 Jan 2025 14:05:50 +1100 Subject: [PATCH] Update svf-teaching.yml --- .github/workflows/svf-teaching.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/svf-teaching.yml b/.github/workflows/svf-teaching.yml index e8feeb7..9ee8427 100644 --- a/.github/workflows/svf-teaching.yml +++ b/.github/workflows/svf-teaching.yml @@ -33,7 +33,7 @@ jobs: sudo apt-get update sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test sudo apt-get update - sudo apt-get install cmake gcc g++ nodejs doxygen graphviz lcov libncurses5-dev libtinfo5 libzstd-dev + sudo apt-get install cmake gcc g++ nodejs doxygen graphviz lcov libncurses5-dev libtinfo6 libzstd-dev # install llvm and svf - name: env-setup @@ -49,4 +49,4 @@ jobs: echo "LLVM_DIR="$LLVM_DIR echo "Z3_DIR="$Z3_DIR cmake . - make \ No newline at end of file + make